\q1
\v=27
\v~=Kama ukikosa njia ya kulipa,
\¬q1
\q2
\p~<<q2=kitanda chako
\¬q2
\q2
\p~<<q2=kitachukuliwa ukiwa umekilalia.
\¬q2
\¬v