\q1
\v=19
\v~=\w L'homme|strong="H2470"\w* \w qui|strong="H5315"\w* s'emporte doit \w en|strong="H3254"\w* \w payer|strong="H7999"\w* \w le|strong="H5375"\w* prix, 
\¬q1
\q2
\p~<<q2=2 \w car|strong="H3588"\w* \w si|strong="H3588"\w* \w tu|strong="H3588"\w* \w le|strong="H5375"\w* \w sauves|strong="H5337"\w*, \w tu|strong="H3588"\w* dois \w le|strong="H5375"\w* refaire. 
\¬q2
\¬v