\q1
\v=23
\v~=\w It|strong="H6213"\w* \w is|strong="H2451"\w* \w as|strong="H6213"\w* \w sport|strong="H7814"\w* \w to|strong="H6213"\w* \w a|strong="H6213"\w* \w fool|strong="H3684"\w* \w to|strong="H6213"\w* \w do|strong="H6213"\w* \w wickedness|strong="H2154"\w*; 
\¬q1
\q1
\p~<<q1=\w And|strong="H2451"\w* \add \+w so|strong="H6213"\+w* \+w is|strong="H2451"\+w*\add* \w wisdom|strong="H2451"\w* \w to|strong="H6213"\w* \w a|strong="H6213"\w* \w man|strong="H7814"\w* \w of|strong="H6213"\w* \w understanding|strong="H8394"\w*. 
\¬q1
\¬v