\q1
\v=25
\v~=Ne te montre pas vaillant dans le vin, 
\¬q1
\q2
\p~<<q2=2 car le vin en a détruit beaucoup. 
\¬q2
\¬v