\v=7
\v~=\w And|strong="H1870"\w* \w the|strong="H5921"\w* \w men|strong="H0376"\w* \w pursued|strong="H7291"\w* \w after|strong="H5921"\w* \w them|strong="H5921"\w* \w the|strong="H5921"\w* \w way|strong="H1870"\w* \w to|strong="H3318"\w* \w the|strong="H5921"\w* \w Jordan|strong="H3383"\w* \w unto|strong="H3318"\w* \w the|strong="H5921"\w* \w fords|strong="H4569"\w*: \w and|strong="H1870"\w* \w as|strong="H3318"\w* \w soon|strong="H3512"\w* \w as|strong="H3318"\w* \w they|strong="H5921"\w* \w that|strong="H8179"\w* \w pursued|strong="H7291"\w* \w after|strong="H5921"\w* \w them|strong="H5921"\w* \w were|strong="H7291"\w* \w gone|strong="H3318"\w* \w out|strong="H3318"\w*, \w they|strong="H5921"\w* \w shut|strong="H5462"\w* \w the|strong="H5921"\w* \w gate|strong="H8179"\w*. 
\¬v
\¬p