\v=13
\v~=\w but|strong="H3588"\w* \w prophesy|strong="H5012"\w* \w not|strong="H3808"\w* \w again|strong="H5750"\w* \w any|strong="H5750"\w* \w more|strong="H3254"\w* \w at|strong="H1004"\w* \w Beth-el|strong="H1008"\w*; \w for|strong="H3588"\w* \w it|strong="H1931"\w* \w is|strong="H1931"\w* \w the|strong="H3588"\w* \w king’s|strong="H4428"\w* \w sanctuary|strong="H4720"\w*, \w and|strong="H4428"\w* \w it|strong="H1931"\w* \w is|strong="H1931"\w* \w a|strong="H3588"\w* \w royal|strong="H4428"\w* \w house|strong="H1004"\w*. 
\¬v
\¬p