\q1
\v=5
\v~=Siku za mwanadamu zimewekewa mpaka;
\¬q1
\q2
\p~<<q2=umekwisha kutangaza idadi ya miezi yake
\¬q2
\q2
\p~<<q2=na kuweka mpaka ambao hawezi kuuvuka.
\¬q2
\¬v