\q1
\v=10
\v~=Simba anaweza kunguruma na kukoroma,
\¬q1
\q2
\p~<<q2=lakini bado meno ya simba mkubwa huvunjika.
\¬q2
\¬v