\q1
\v=3
\v~=\w Si|strong="H3808"\w* \w les|strong="H4390"\w* \w nuages|strong="H5645"\w* \w sont|strong="H5645"\w* \w pleins|strong="H4390"\w* \w de|strong="H4390"\w* \w pluie|strong="H1653"\w*, \w ils|strong="H6440"\w* \w se|strong="H5645"\w* vident \w sur|strong="H5921"\w* \w la|strong="H4390"\w* \w terre|strong="H6440"\w* ; 
\¬q1
\q2
\p~<<q2=2 \w et|strong="H5307"\w* \w si|strong="H3808"\w* \w un|strong="H5307"\w* \w arbre|strong="H6086"\w* \w tombe|strong="H5307"\w* \w vers|strong="H6828"\w* \w le|strong="H4725"\w* sud, \w ou|strong="H4725"\w* \w vers|strong="H6828"\w* \w le|strong="H4725"\w* \w nord|strong="H6828"\w*, 
\¬q2
\q2
\p~<<q2=2 \w à|strong="H5307"\w* l'endroit \w où|strong="H4725"\w* l'arbre \w tombe|strong="H5307"\w*, \w il|strong="H6086"\w* \w sera|strong="H6086"\w* \w là|strong="H4390"\w*. 
\¬q2
\¬v