\b
\q1
\v=65
\v~=Ndipo Bwana alipoamka kama vile kuamka usingizini, 
\¬q1
\q2
\p~<<q2=kama vile mtu aamkavyo kutoka kwenye bumbuazi la mvinyo. 
\¬q2
\¬v