\q1
\v=17
\v~=L'or \w et|strong="H2091"\w* \w le|strong="H6186"\w* \w verre|strong="H2137"\w* \w ne|strong="H3808"\w* peuvent \w pas|strong="H3808"\w* l'égaler, 
\¬q1
\q2
\p~<<q2=2 \w Elle|strong="H1931"\w* \w ne|strong="H3808"\w* \w sera|strong="H4194"\w* \w pas|strong="H3808"\w* \w non|strong="H3808"\w* \w plus|strong="H3808"\w* échangée \w contre|strong="H7971"\w* \w des|strong="H2091"\w* bijoux \w en|strong="H6186"\w* \w or|strong="H2091"\w* \w fin|strong="H6337"\w*. 
\¬q2
\¬v