\v=8
\v~=\w When|strong="H0935"\w* \w the|strong="H0935"\w* \w prince|strong="H5387"\w* \w enters|strong="H0935"\w*, \w he|strong="H0935"\w* \w shall|strong="H8179"\w* \w go|strong="H3318"\w* \w in|strong="H0935"\w* \w by|strong="H0935"\w* \w the|strong="H0935"\w* \w way|strong="H1870"\w* \w of|strong="H8179"\w* \w the|strong="H0935"\w* \w porch|strong="H0197"\w* \w of|strong="H8179"\w* \w the|strong="H0935"\w* \w gate|strong="H8179"\w*, \w and|strong="H0935"\w* \w he|strong="H0935"\w* \w shall|strong="H8179"\w* \w go|strong="H3318"\w* \w out|strong="H3318"\w* \w by|strong="H0935"\w* \w its|strong="H0935"\w* \w way|strong="H1870"\w*. 
\¬v
\¬p