\q1
\v=17
\v~=\w false|strong="H8267"\w* \w hope|strong="H8267"\w* \w is|strong="H5483"\w* \w the|strong="H3808"\w* war-horse \w to|strong="H2428"\w* usher \w in|strong="H3808"\w* \w victory|strong="H8668"\w*, 
\¬q1
\q2
\p~<<q2=\w for|strong="H2428"\w* \w all|strong="H7230"\w* \w its|strong="H3808"\w* \w great|strong="H7230"\w* \w might|strong="H2428"\w* \w it|strong="H3808"\w* \w can|strong="H3808"\w* \w provide|strong="H6213"\w* \w no|strong="H3808"\w* \w escape|strong="H4422"\w*. 
\¬q2
\¬v