\v=17
\v~=\w And|strong="H8064"\w* \w he|strong="H3588"\w* \w was|strong="H1004"\w* \w afraid|strong="H3372"\w*, \w and|strong="H8064"\w* \w said|strong="H0559"\w*, \w How|strong="H4100"\w* \w dreadful|strong="H3372"\w* \w is|strong="H2088"\w* \w this|strong="H2088"\w* \w place|strong="H4725"\w*! \w this|strong="H2088"\w* \w is|strong="H2088"\w* \w none|strong="H0369"\w* \w other|strong="H2088"\w* \w than|strong="H3588"\w* \w the|strong="H3588"\w* \w house|strong="H1004"\w* \w of|strong="H1004"\w* \w God|strong="H8064"\w*, \w and|strong="H8064"\w* \w this|strong="H2088"\w* \w is|strong="H2088"\w* \w the|strong="H3588"\w* \w gate|strong="H8179"\w* \w of|strong="H1004"\w* \w heaven|strong="H8064"\w*. 
\¬v
\¬p