\v=23
\v~=\w He|strong="H1732"\w* \w was|strong="H1732"\w* \w more|strong="H4480"\w* \w honorable|strong="H3513"\w* \w than|strong="H4480"\w* \w the|strong="H4480"\w* \w thirty|strong="H7970"\w*, \w but|strong="H3808"\w* \w he|strong="H1732"\w* \w attained|strong="H0935"\w* \w not|strong="H3808"\w* \w to|strong="H1732"\w* \w the|strong="H4480"\w* \add \+w first|strong="H7223"\+w*\add* \w three|strong="H7969"\w*. \w And|strong="H7970"\w* \w David|strong="H1732"\w* \w set|strong="H7760"\w* \w him|strong="H7760"\w* \w over|strong="H4480"\w* \w his|strong="H7760"\w* \w guard|strong="H4928"\w*. 
\¬v
\¬p