\q1
\v=30
\v~=Mtakuwa kama mwaloni wenye majani yanayonyauka,
\¬q1
\q2
\p~<<q2=kama bustani isiyokuwa na maji.
\¬q2
\¬v