\q1
\v=9
\v~=Un homme bien instruit sait beaucoup de choses. 
\¬q1
\q2
\p~<<q2=2 Celui qui a beaucoup d'expérience déclarera comprendre. 
\¬q2
\¬v