\q1
\v=5
\v~=Kila kiatu cha askari kilichotumiwa vitani, 
\¬q1
\q2
\p~<<q2=na kila vazi lililovingirishwa katika damu 
\¬q2
\q1
\p~<<q1=vitawekwa kwa ajili ya kuchomwa, 
\¬q1
\q2
\p~<<q2=vitakuwa kuni za kuwasha moto. 
\¬q2
\¬v