\v=13
\v~=\w When|strong="H1121"\w* \w he|strong="H3605"\w* \w was|strong="H1121"\w* \w removed|strong="H5674"\w* \w out|strong="H4480"\w* \w of|strong="H1121"\w* \w the|strong="H3605"\w* \w highway|strong="H4546"\w*, \w all|strong="H3605"\w* \w the|strong="H3605"\w* \w people|strong="H1121"\w* \w went|strong="H5674"\w* \w on|strong="H5674"\w* \w after|strong="H4480"\w* \w Joab|strong="H3097"\w*, \w to|strong="H1121"\w* \w pursue|strong="H7291"\w* \w after|strong="H4480"\w* \w Sheba|strong="H7652"\w* \w the|strong="H3605"\w* \w son|strong="H1121"\w* \w of|strong="H1121"\w* \w Bichri|strong="H1075"\w*. 
\¬v
\¬p