\v=10
\v~=\w And|strong="H1980"\w* \w David|strong="H1732"\w* \w waxed|strong="H1980"\w* \w greater|strong="H1419"\w* \w and|strong="H1980"\w* \w greater|strong="H1419"\w*; \w for|strong="H3068"\w* \w Jehovah|strong="H3068"\w*, \w the|strong="H3068"\w* \w God|strong="H3068"\w* \w of|strong="H3068"\w* \w hosts|strong="H6635"\w*, \w was|strong="H3068"\w* \w with|strong="H5973"\w* \w him|strong="H5973"\w*. 
\¬v
\¬p