\b
\q1
\v=8
\v~=« \w Si|strong="H3808"\w* \w je|strong="H2005"\w* \w vais|strong="H1980"\w* \w à|strong="H1980"\w* l'est, \w il|strong="H3117"\w* n'y \w est|strong="H6924"\w* \w pas|strong="H3808"\w*. 
\¬q1
\q2
\p~<<q2=2 \w Si|strong="H3808"\w* \w je|strong="H2005"\w* \w vais|strong="H1980"\w* \w à|strong="H1980"\w* l'ouest, \w je|strong="H2005"\w* \w ne|strong="H3808"\w* peux \w pas|strong="H3808"\w* \w le|strong="H1980"\w* \w trouver|strong="H4672"\w*. 
\¬q2
\¬v