\q1
\v=13
\v~=\w à|strong="H2617"\w* \w celui|strong="H5159"\w* \w qui|strong="H5971"\w* \w a|strong="H2617"\w* séparé \w la|strong="H5769"\w* \w mer|strong="H3220"\w* \w Rouge|strong="H5488"\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