\v=10
\v~=\w But|strong="H1931"\w* \w David|strong="H1732"\w* \w pursued|strong="H7291"\w*, \w he|strong="H1931"\w* \w and|strong="H3967"\w* \w four|strong="H0702"\w* \w hundred|strong="H3967"\w* \w men|strong="H0376"\w*; \w for|strong="H5975"\w* \w two|strong="H3967"\w* \w hundred|strong="H3967"\w* \w stayed|strong="H5975"\w* \w behind|strong="H5975"\w*, \w who|strong="H1931"\w* \w were|strong="H1732"\w* \w so|strong="H5975"\w* \w faint|strong="H6296"\w* \w that|strong="H1931"\w* \w they|strong="H1931"\w* \w could|strong="H3201"\w* \w not|strong="H1732"\w* \w go|strong="H5674"\w* \w over|strong="H5674"\w* \w the|strong="H5674"\w* \w brook|strong="H5158"\w* \w Besor|strong="H1308"\w*. 
\¬v
\¬p