\q1
\v=4
\v~=Wanaonekana kama farasi; 
\¬q1
\q2
\p~<<q2=wanakwenda mbio 
\¬q2
\q2
\p~<<q2=kama askari wapanda farasi. 
\¬q2
\¬v