\v=13
\v~=\w And|strong="H1004"\w* \w when|strong="H3318"\w* \w David|strong="H1732"\w* \w had|strong="H1732"\w* \w called|strong="H7121"\w* \w him|strong="H6440"\w*, \w he|strong="H1004"\w* \w did|strong="H5650"\w* \w eat|strong="H0398"\w* \w and|strong="H1004"\w* \w drink|strong="H8354"\w* \w before|strong="H6440"\w* \w him|strong="H6440"\w*; \w and|strong="H1004"\w* \w he|strong="H1004"\w* \w made|strong="H1732"\w* \w him|strong="H6440"\w* \w drunk|strong="H8354"\w*: \w and|strong="H1004"\w* \w at|strong="H1004"\w* \w even|strong="H6153"\w* \w he|strong="H1004"\w* \w went|strong="H3318"\w* \w out|strong="H3318"\w* \w to|strong="H3381"\w* \w lie|strong="H7901"\w* \w on|strong="H1004"\w* \w his|strong="H7121"\w* \w bed|strong="H4904"\w* \w with|strong="H5973"\w* \w the|strong="H6440"\w* \w servants|strong="H5650"\w* \w of|strong="H1004"\w* \w his|strong="H7121"\w* \w lord|strong="H3068"\w*, \w but|strong="H3808"\w* \w went|strong="H3318"\w* \w not|strong="H3808"\w* \w down|strong="H3381"\w* \w to|strong="H3381"\w* \w his|strong="H7121"\w* \w house|strong="H1004"\w*. 
\¬v
\¬p