\q1
\v=27
\v~=\w alors|strong="H1571"\w* \w il|strong="H1571"\w* \w l'a|strong="H7451"\w* \w vu|strong="H7200"\w*, \w et|strong="H7200"\w* \w l'a|strong="H7451"\w* \w déclaré|strong="H3318"\w*. 
\¬q1
\q2
\p~<<q2=2 \w Il|strong="H1571"\w* \w l'a|strong="H7451"\w* \w établi|strong="H3559"\w*, \w oui|strong="H3426"\w*, \w et|strong="H7200"\w* \w l'a|strong="H7451"\w* \w recherché|strong="H2713"\w*. 
\¬q2
\¬v