\q1
\v=15
\v~=Tout être vivant aime sa propre espèce, 
\¬q1
\q2
\p~<<q2=2 et tout homme aime son prochain. 
\¬q2
\¬v