\q1
\v=20
\v~=Condamnons-le à une mort honteuse, 
\¬q1
\q2
\p~<<q2=2 car il sera protégé, selon ses paroles. » 
\¬q2
\¬v
\p
\¬p