\q1
\v=10
\v~=\w Ils|strong="H3212"\w* \w n'ont|strong="H3063"\w* \w pas|strong="H3808"\w* respecté l'alliance \w de|strong="H8451"\w* \w Dieu|strong="H3068"\w*, 
\¬q1
\q2
\p~<<q2=2 \w et|strong="H3212"\w* \w ont|strong="H3478"\w* \w refusé|strong="H3985"\w* \w de|strong="H8451"\w* \w marcher|strong="H3212"\w* \w dans|strong="H6440"\w* \w sa|strong="H8104"\w* \w loi|strong="H8451"\w*. 
\¬q2
\¬v