\b
\q1
\v=25
\v~=Kutamani sana kwa mvivu kutakuwa kifo chake, 
\¬q1
\q2
\p~<<q2=kwa sababu mikono yake haitaki kufanya kazi. 
\¬q2
\¬v