\q1
\v=5
\v~=Wanapanda kwenda njia ya kuelekea Luhithi, 
\¬q1
\q2
\p~<<q2=wakilia kwa uchungu wanapotembea, 
\¬q2
\q1
\p~<<q1=kwenye njia inayoshuka kwenda Horonaimu, 
\¬q1
\q2
\p~<<q2=kilio cha uchungu kwa ajili ya uharibifu kinasikika. 
\¬q2
\¬v