\q1
\v=10
\v~=\w La|strong="H6440"\w* \w terre|strong="H6440"\w* \w tremble|strong="H7493"\w* \w devant|strong="H6440"\w* \w eux|strong="H6440"\w*. 
\¬q1
\q2
\p~<<q2=2 \w Les|strong="H6440"\w* \w cieux|strong="H8064"\w* \w tremblent|strong="H7264"\w*. 
\¬q2
\q2
\p~<<q2=2 \w Le|strong="H6440"\w* \w soleil|strong="H8121"\w* \w et|strong="H6440"\w* \w la|strong="H6440"\w* \w lune|strong="H3394"\w* \w sont|strong="H8064"\w* \w obscurcis|strong="H6937"\w*, 
\¬q2
\q2
\p~<<q2=2 \w et|strong="H6440"\w* \w les|strong="H6440"\w* \w étoiles|strong="H3556"\w* retirent \w leur|strong="H6440"\w* \w éclat|strong="H5051"\w*. 
\¬q2
\¬v