\q1
\v=2
\v~=Kitovu chako ni kama bilauri ya mviringo 
\¬q1
\q2
\p~<<q2=ambayo kamwe haikosi divai iliyochanganywa. 
\¬q2
\q1
\p~<<q1=Kiuno chako ni kichuguu cha ngano 
\¬q1
\q2
\p~<<q2=kilichozungukwa kwa yungiyungi. 
\¬q2
\¬v