\q1
\v=17
\v~=Dani atakuwa nyoka kando ya barabara, 
\¬q1
\q2
\p~<<q2=nyoka mwenye sumu kando ya njia, 
\¬q2
\q1
\p~<<q1=yule aumaye visigino vya farasi 
\¬q1
\q2
\p~<<q2=ili yule ampandaye aanguke chali. 
\¬q2
\¬v