\v=17
\v~=\w And|strong="H3478"\w* \w there|strong="H7604"\w* \w was|strong="H3478"\w* \w not|strong="H3808"\w* \w a|strong="H3318"\w* \w man|strong="H0376"\w* \w left|strong="H7604"\w* \w in|strong="H3478"\w* \w Ai|strong="H5857"\w* \w or|strong="H3808"\w* \w Beth-el|strong="H1008"\w*, \w that|strong="H3478"\w* \w went|strong="H3318"\w* \w not|strong="H3808"\w* \w out|strong="H3318"\w* \w after|strong="H7291"\w* \w Israel|strong="H3478"\w*: \w and|strong="H3478"\w* \w they|strong="H3808"\w* \w left|strong="H7604"\w* \w the|strong="H3318"\w* \w city|strong="H5892"\w* \w open|strong="H6605"\w*, \w and|strong="H3478"\w* \w pursued|strong="H7291"\w* \w after|strong="H7291"\w* \w Israel|strong="H3478"\w*. 
\¬v
\¬p