\v=15
\v~={\w When|x-occurrence="1" x-occurrences="1"\w* \w Sarah|x-occurrence="1" x-occurrences="1"\w* \w heard|x-occurrence="1" x-occurrences="1"\w* \w what|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="1"\w* \w man|x-occurrence="1" x-occurrences="1"\w* \w said|x-occurrence="1" x-occurrences="2"\w*,} \w she|x-occurrence="1" x-occurrences="2"\w* \w was|x-occurrence="1" x-occurrences="1"\w* \w afraid|x-occurrence="1" x-occurrences="1"\w*, \w so|x-occurrence="1" x-occurrences="1"\w* \w she|x-occurrence="2" x-occurrences="2"\w* \w lied|x-occurrence="1" x-occurrences="1"\w* {\w to|x-occurrence="1" x-occurrences="1"\w* \w him|x-occurrence="1" x-occurrences="1"\w*} \w and|x-occurrence="1" x-occurrences="1"\w* \w said|x-occurrence="2" x-occurrences="2"\w*, "\w I|x-occurrence="1" x-occurrences="1"\w* \w did|x-occurrence="1" x-occurrences="2"\w* \w not|x-occurrence="1" x-occurrences="2"\w* \w laugh|x-occurrence="1" x-occurrences="2"\w*.” \w But|x-occurrence="1" x-occurrences="1"\w* \w Yahweh|x-occurrence="1" x-occurrences="1"\w* \w replied|x-occurrence="1" x-occurrences="1"\w*, "\w That|x-occurrence="1" x-occurrences="1"\w*'\w s|x-occurrence="1" x-occurrences="1"\w* \w not|x-occurrence="2" x-occurrences="2"\w* \w true|x-occurrence="1" x-occurrences="1"\w*. \w You|x-occurrence="1" x-occurrences="1"\w* \w did|x-occurrence="2" x-occurrences="2"\w* \w laugh|x-occurrence="2" x-occurrences="2"\w*.”
\¬v
\¬p