\q1
\v=10
\v~=\w Dis|strong="H5046"\w* \w aux|strong="H2896"\w* \w justes|strong="H6662"\w* \w que|strong="H3588"\w* \w tout|strong="H3588"\w* \w ira|strong="H3212"\w* \w bien|strong="H2896"\w* \w pour|strong="H2896"\w* \w eux|strong="H6440"\w*, 
\¬q1
\q2
\p~<<q2=2 \w car|strong="H3588"\w* \w ils|strong="H1992"\w* mangeront \w le|strong="H3588"\w* \w fruit|strong="H6529"\w* \w de|strong="H2896"\w* \w leurs|strong="H2896"\w* \w actes|strong="H4639"\w*. 
\¬q2
\¬v