\b
\q1
\v=11
\v~=Wakati mwenye mzaha ameadhibiwa, 
\¬q1
\q2
\p~<<q2=mjinga hupata hekima; 
\¬q2
\q1
\p~<<q1=wakati mtu mwenye hekima afundishwapo, 
\¬q1
\q2
\p~<<q2=hupata maarifa. 
\¬q2
\¬v