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