\q1
\v=23
\v~=Mikunjo ya nyama yake imeshikamana imara pamoja;
\¬q1
\q2
\p~<<q2=iko imara na haiwezi kuondolewa.
\¬q2
\¬v