\q1
\v=10
\v~=\w His|strong="H3808"\w* \w pleasure|strong="H7521"\w* \w is|strong="H3808"\w* \w not|strong="H3808"\w* \w in|strong="H2654"\w* \w the|strong="H3808"\w* \w strength|strong="H1369"\w* \w of|strong="H3808"\w* \w the|strong="H3808"\w* \w horse|strong="H5483"\w*, 
\¬q1
\q2
\p~<<q2=\w his|strong="H3808"\w* \w joy|strong="H8057"\w* \w is|strong="H3808"\w* \w not|strong="H3808"\w* \w in|strong="H2654"\w* \w the|strong="H3808"\w* \w speed|strong="H4120"\w* \w of|strong="H3808"\w* \w a|strong="H3808"\w* \w runner|strong="H7323"\w*; 
\¬q2
\¬v