\q1
\v=3
\v~=\w Il|strong="H5674"\w* \w les|strong="H5674"\w* \w poursuit|strong="H7291"\w* 
\¬q1
\q2
\p~<<q2=2 \w et|strong="H5674"\w* \w passe|strong="H5674"\w* \w en|strong="H5674"\w* \w toute|strong="H5674"\w* \w sécurité|strong="H7965"\w*, 
\¬q2
\q2
\p~<<q2=2 \w même|strong="H3820"\w* \w par|strong="H5674"\w* \w un|strong="H5674"\w* chemin \w qu'il|strong="H7200"\w* \w n'avait|strong="H3478"\w* \w pas|strong="H3808"\w* \w emprunté|strong="H7592"\w* \w avec|strong="H5674"\w* \w ses|strong="H7291"\w* \w pieds|strong="H7272"\w*. 
\¬q2
\¬v