\q1
\v=10
\v~=\w à|strong="H5221"\w* \w celui|strong="H5159"\w* \w qui|strong="H5971"\w* \w a|strong="H5221"\w* \w terrassé|strong="H5221"\w* \w le|strong="H5221"\w* premier-né \w égyptien|strong="H4714"\w*, 
\¬q1
\q2
\p~<<q2=2 \w car|strong="H3588"\w* \w sa|strong="H5221"\w* \w bonté|strong="H2617"\w* \w est|strong="H2617"\w* \w éternelle|strong="H5769"\w* ; 
\¬q2
\¬v