\q1
\v=17
\v~=Let’s see if his words are true. 
\¬q1
\q2
\p~<<q2=Let’s test what will happen at the end of his life. 
\¬q2
\¬v