\q1
\v=17
\v~=Farasi ni tumaini la bure kwa wokovu, 
\¬q1
\q2
\p~<<q2=licha ya nguvu zake nyingi, hawezi kuokoa. 
\¬q2
\¬v