\q1
\v=8
\v~=\w Il|strong="H3027"\w* enferme \w les|strong="H8478"\w* \w eaux|strong="H4325"\w* \w dans|strong="H6440"\w* \w ses|strong="H6440"\w* \w nuages|strong="H5645"\w* épais, 
\¬q1
\q2
\p~<<q2=2 \w et|strong="H3808"\w* \w le|strong="H4325"\w* \w nuage|strong="H5645"\w* \w n'est|strong="H1697"\w* \w pas|strong="H3808"\w* \w éclaté|strong="H3318"\w* \w sous|strong="H8478"\w* \w eux|strong="H6440"\w*. 
\¬q2
\¬v