\q1
\v=2
\v~=Sakafu za kupuria nafaka na mashinikizo ya kukamulia divai
\¬q1
\q2
\p~<<q2=havitalisha watu,
\¬q2
\q2
\p~<<q2=divai mpya itawapungukia.
\¬q2
\¬v