\b
\q1
\v=12
\v~=Mafahali wengi wamenizunguka, 
\¬q1
\q2
\p~<<q2=mafahali wa Bashani wenye nguvu 
\¬q2
\q2
\p~<<q2=wamenizingira. 
\¬q2
\¬v