\v=24
\v~=\w and|strong="H4325"\w* \w they|strong="H3947"\w* \w took|strong="H3947"\w* \w him|strong="H3947"\w*, \w and|strong="H4325"\w* \w cast|strong="H7993"\w* \w him|strong="H3947"\w* \w into|strong="H7993"\w* \w the|strong="H3947"\w* \w pit|strong="H0953"\w*: \w and|strong="H4325"\w* \w the|strong="H3947"\w* \w pit|strong="H0953"\w* \w was|strong="H4325"\w* \w empty|strong="H7386"\w*, \w there|strong="H8033"\w* \w was|strong="H4325"\w* \w no|strong="H3947"\w* \w water|strong="H4325"\w* \w in|strong="H3947"\w* \w it|strong="H7993"\w*. 
\¬v
\¬p