\q1
\v=21
\v~=\w Car|strong="H3588"\w* \w les|strong="H3477"\w* \w hommes|strong="H1121"\w* \w intègres|strong="H8549"\w* \w habiteront|strong="H7931"\w* \w le|strong="H7931"\w* pays. 
\¬q1
\q2
\p~<<q2=2 \w Le|strong="H7931"\w* parfait \w y|strong="H8549"\w* \w restera|strong="H3498"\w*. 
\¬q2
\¬v