\q1
\v=15
\v~=\w Le|strong="H6440"\w* \w soleil|strong="H8121"\w* \w et|strong="H1419"\w* \w la|strong="H5414"\w* \w lune|strong="H3394"\w* \w sont|strong="H3068"\w* obscurcis, 
\¬q1
\q2
\p~<<q2=2 \w et|strong="H1419"\w* \w les|strong="H6440"\w* étoiles retirent \w leur|strong="H5414"\w* éclat. 
\¬q2
\¬v