\v=8
\v~=\w And|strong="H1870"\w* \w when|strong="H3318"\w* \w the|strong="H3318"\w* \w prince|strong="H5387"\w* \w shall|strong="H5387"\w* \w enter|strong="H0935"\w*, \w he|strong="H3318"\w* \w shall|strong="H5387"\w* \w go|strong="H3318"\w* \w in|strong="H1870"\w* \w by|strong="H1870"\w* \w the|strong="H3318"\w* \w way|strong="H1870"\w* \w of|strong="H1870"\w* \w the|strong="H3318"\w* \w porch|strong="H0197"\w* \w of|strong="H1870"\w* \w the|strong="H3318"\w* \w gate|strong="H8179"\w*, \w and|strong="H1870"\w* \w he|strong="H3318"\w* \w shall|strong="H5387"\w* \w go|strong="H3318"\w* \w forth|strong="H3318"\w* \w by|strong="H1870"\w* \w the|strong="H3318"\w* \w way|strong="H1870"\w* \w thereof|strong="H8179"\w*. 
\¬v
\¬p