\q1
\v=9
\v~=\w la|strong="H3915"\w* \w lune|strong="H3394"\w* \w et|strong="H3915"\w* \w les|strong="H3915"\w* \w étoiles|strong="H3556"\w* \w pour|strong="H5769"\w* \w régner|strong="H6213"\w* \w la|strong="H3915"\w* \w nuit|strong="H3915"\w*, 
\¬q1
\q2
\p~<<q2=2 \w car|strong="H3588"\w* \w sa|strong="H5414"\w* \w bonté|strong="H2617"\w* \w est|strong="H2617"\w* \w éternelle|strong="H5769"\w* ; 
\¬q2
\¬v