\q1
\v=10
\v~=N'abandonnez pas un vieil ami ; 
\¬q1
\q2
\p~<<q2=2 pour un nouveau n'est pas comparable à lui. 
\¬q2
\q1
\p~<<q1=Un nouvel ami est comme un nouveau vin : 
\¬q1
\q2
\p~<<q2=2 s'il devient vieux, vous le boirez avec joie. 
\¬q2
\¬v
\p
\¬p