\v=9
\v~=\w And|strong="H7725"\w* \w he|strong="H7725"\w* \w shall|strong="H4428"\w* \w come|strong="H7725"\w* \w into|strong="H7725"\w* \w the|strong="H7725"\w* \w realm|strong="H4438"\w* \w of|strong="H4428"\w* \w the|strong="H7725"\w* \w king|strong="H4428"\w* \w of|strong="H4428"\w* \w the|strong="H7725"\w* \w south|strong="H5045"\w*, \w but|strong="H7725"\w* \w he|strong="H7725"\w* \w shall|strong="H4428"\w* \w return|strong="H7725"\w* \w into|strong="H7725"\w* \w his|strong="H7725"\w* \w own|strong="H1961"\w* \w land|strong="H0776"\w*. 
\¬v
\¬p