\q1
\v=8
\v~=\w le|strong="H3117"\w* \w soleil|strong="H8121"\w* \w pour|strong="H8121"\w* \w régner|strong="H6213"\w* \w le|strong="H3117"\w* \w jour|strong="H3117"\w*, 
\¬q1
\q2
\p~<<q2=2 \w car|strong="H3588"\w* \w sa|strong="H3117"\w* \w bonté|strong="H2617"\w* \w est|strong="H3117"\w* \w éternelle|strong="H5769"\w* ; 
\¬q2
\¬v