\q1
\v=17
\v~=\w A|strong="H3808"\w* \w horse|strong="H5483"\w* \w is|strong="H8267"\w* \w a|strong="H3808"\w* \w vain|strong="H8267"\w* thing \w for|strong="H2428"\w* safety, 
\¬q1
\q2
\p~<<q2=\w neither|strong="H3808"\w* \w does|strong="H3808"\w* \w he|strong="H3808"\w* \w deliver|strong="H4422"\w* \w any|strong="H4422"\w* \w by|strong="H3808"\w* \w his|strong="H3808"\w* \w great|strong="H7230"\w* \w power|strong="H2428"\w*. 
\¬q2
\¬v