\q1
\v=22
\v~=Watakusanywa pamoja 
\¬q1
\q2
\p~<<q2=kama wafungwa waliofungwa gerezani, 
\¬q2
\q1
\p~<<q1=watafungiwa gerezani 
\¬q1
\q2
\p~<<q2=na kuadhibiwa baada ya siku nyingi. 
\¬q2
\¬v