\b
\q1
\v=31
\v~=Farasi huandaliwa kwa ajili ya siku ya vita, 
\¬q1
\q2
\p~<<q2=bali ushindi huwa kwa \nd Bwana\nd*. 
\¬v
\¬q2
\¬c