\q1
\v=10
\v~=Ikiwa mtu ni wa kuchukuliwa mateka,
\¬q1
\q2
\p~<<q2=atachukuliwa mateka.
\¬q2
\q1
\p~<<q1=Ikiwa mtu ni wa kuuawa kwa upanga,
\¬q1
\q2
\p~<<q2=atauawa kwa upanga.
\¬q2
\m
\p~<<m=Hapa ndipo penye wito wa subira na imani ya watakatifu.
\¬m
\¬v