\q1
\v=12
\v~=Wamefanana na simba mwenye njaa awindaye, 
\¬q1
\q2
\p~<<q2=kama simba mkubwa anyemeleaye mafichoni. 
\¬q2
\¬v