\q1
\v=37
\v~=\w Car|strong="H3588"\w* \w toutes|strong="H3162"\w* \w les|strong="H3027"\w* \w têtes|strong="H7218"\w* \w sont|strong="H3027"\w* \w chauves|strong="H7144"\w*, 
\¬q1
\q2
\p~<<q2=2 \w et|strong="H3027"\w* \w chaque|strong="H3605"\w* \w barbe|strong="H2206"\w* coupée. 
\¬q2
\q1
\p~<<q1=\w Il|strong="H3027"\w* \w y|strong="H3027"\w* \w a|strong="H3027"\w* \w des|strong="H3027"\w* boutures \w sur|strong="H3027"\w* \w toutes|strong="H3162"\w* \w les|strong="H3027"\w* \w mains|strong="H3027"\w*, 
\¬q1
\q2
\p~<<q2=2 \w et|strong="H3027"\w* \w le|strong="H3027"\w* \w sac|strong="H8242"\w* \w sur|strong="H3027"\w* \w la|strong="H3027"\w* \w taille|strong="H1363"\w*. 
\¬q2
\¬v