\v=17
\v~=\w And|strong="H3212"\w* \w Isaac|strong="H3327"\w* \w departed|strong="H3212"\w* \w thence|strong="H8033"\w*, \w and|strong="H3212"\w* \w encamped|strong="H2583"\w* \w in|strong="H3427"\w* \w the|strong="H8033"\w* \w valley|strong="H5158"\w* \w of|strong="H3427"\w* \w Gerar|strong="H1642"\w*, \w and|strong="H3212"\w* \w dwelt|strong="H3427"\w* \w there|strong="H8033"\w*. 
\¬v
\¬p