\v=13
\v~=\w And|strong="H5012"\w* \w when|strong="H3615"\w* \w he|strong="H1116"\w* \w had|strong="H3068"\w* \w made|strong="H3615"\w* \w an|strong="H3615"\w* \w end|strong="H3615"\w* \w of|strong="H3615"\w* \w prophesying|strong="H5012"\w*, \w he|strong="H1116"\w* \w came|strong="H3615"\w* \w to|strong="H1116"\w* \w the|strong="H3615"\w* \w high|strong="H1116"\w* \w place|strong="H1116"\w*. 
\¬v
\¬p