\q1
\v=22
\v~=\w Car|strong="H3588"\w* \w il|strong="H3027"\w* \w se|strong="H3027"\w* \w jette|strong="H7993"\w* \w sur|strong="H3027"\w* \w lui|strong="H3027"\w*, \w et|strong="H3027"\w* \w ne|strong="H3808"\w* l'épargne \w pas|strong="H3808"\w*, 
\¬q1
\q2
\p~<<q2=2 \w alors|strong="H6256"\w* \w qu'il|strong="H4725"\w* s'enfuit \w loin|strong="H2486"\w* \w de|strong="H3027"\w* \w sa|strong="H7993"\w* \w main|strong="H3027"\w*. 
\¬q2
\¬v