\v=15
\v~=\w So|strong="H4191"\w* \w they|strong="H8033"\w* \w made|strong="H7760"\w* \w way|strong="H1870"\w* \w for|strong="H3027"\w* \w her|strong="H7760"\w*; \w and|strong="H4428"\w* \w she|strong="H1931"\w* \w went|strong="H4428"\w* \w to|strong="H4191"\w* \w the|strong="H7760"\w* \w entrance|strong="H3996"\w* \w of|strong="H4428"\w* \w the|strong="H7760"\w* \w horse|strong="H5483"\w* \w gate|strong="H8179"\w* \w to|strong="H4191"\w* \w the|strong="H7760"\w* \w king’s|strong="H4428"\w* \w house|strong="H1004"\w*: \w and|strong="H4428"\w* \w they|strong="H8033"\w* \w slew|strong="H4191"\w* \w her|strong="H7760"\w* \w there|strong="H8033"\w*. 
\¬v
\¬p