\q1
\v=17
\v~=\w Un|strong="H2428"\w* \w cheval|strong="H5483"\w* \w est|strong="H5483"\w* \w une|strong="H3808"\w* \w chose|strong="H1697"\w* vaine \w pour|strong="H5483"\w* \w la|strong="H4422"\w* sécurité, 
\¬q1
\q2
\p~<<q2=2 \w il|strong="H2428"\w* \w ne|strong="H3808"\w* \w délivre|strong="H4422"\w* \w personne|strong="H5315"\w* \w par|strong="H3808"\w* \w sa|strong="H4422"\w* \w grande|strong="H7230"\w* \w puissance|strong="H2428"\w*. 
\¬q2
\¬v