\q1
\v=16
\v~=wakati vimefunikwa barafu iyeyukayo,
\¬q1
\q2
\p~<<q2=ambavyo hujazwa na theluji inayoyeyuka,
\¬q2
\¬v