\q1
\v=7
\v~=Nchi yao imejaa fedha na dhahabu, 
\¬q1
\q2
\p~<<q2=hakuna mwisho wa hazina zao. 
\¬q2
\q1
\p~<<q1=Nchi yao imejaa farasi, 
\¬q1
\q2
\p~<<q2=hakuna mwisho wa magari yao. 
\¬q2
\¬v