\v=17
\v~=\w And|strong="H3478"\w* \w the|strong="H6440"\w* \w battle|strong="H4421"\w* \w was|strong="H1961"\w* \w very|strong="H3966"\w* \w sore|strong="H3966"\w* \w that|strong="H3117"\w* \w day|strong="H3117"\w*; \w and|strong="H3478"\w* \w Abner|strong="H0074"\w* \w was|strong="H1961"\w* \w beaten|strong="H5062"\w*, \w and|strong="H3478"\w* \w the|strong="H6440"\w* \w men|strong="H5650"\w* \w of|strong="H3117"\w* \w Israel|strong="H3478"\w*, \w before|strong="H6440"\w* \w the|strong="H6440"\w* \w servants|strong="H5650"\w* \w of|strong="H3117"\w* \w David|strong="H1732"\w*. 
\¬v
\¬p