\v=4
\v~=\w And|strong="H1732"\w* \w it|strong="H3588"\w* \w was|strong="H1732"\w* \w told|strong="H5046"\w* \w Saul|strong="H7586"\w* \w that|strong="H3588"\w* \w David|strong="H1732"\w* \w was|strong="H1732"\w* \w fled|strong="H1272"\w* \w to|strong="H1732"\w* \w Gath|strong="H1661"\w*: \w and|strong="H1732"\w* \w he|strong="H3588"\w* \w sought|strong="H1245"\w* \w no|strong="H3808"\w* \w more|strong="H3254"\w* \w again|strong="H5750"\w* \w for|strong="H3588"\w* \w him|strong="H5046"\w*. 
\¬v
\¬p