\v=4
\v~=\w Saul|strong="H7586"\w* \w was|strong="H1732"\w* \w told|strong="H5046"\w* \w that|strong="H3588"\w* \w David|strong="H1732"\w* \w had|strong="H1732"\w* \w fled|strong="H1272"\w* \w to|strong="H1732"\w* \w Gath|strong="H1661"\w*, \w so|strong="H3808"\w* \w he|strong="H3588"\w* stopped \w looking|strong="H1245"\w* \w for|strong="H3588"\w* \w him|strong="H5046"\w*. 
\¬v
\¬p