\v=24
\v~=\w For|x-occurrence="1" x-occurrences="1"\w* \w I|x-occurrence="1" x-occurrences="1"\w* \w say|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="3"\w* \w you|x-occurrence="1" x-occurrences="3"\w* \w that|x-occurrence="1" x-occurrences="1"\w* \w many|x-occurrence="1" x-occurrences="1"\w* \w prophets|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="1" x-occurrences="4"\w* \w kings|x-occurrence="1" x-occurrences="1"\w* \w desired|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="2" x-occurrences="3"\w* \w see|x-occurrence="1" x-occurrences="3"\w* \w what|x-occurrence="1" x-occurrences="2"\w* \w you|x-occurrence="2" x-occurrences="3"\w* \w see|x-occurrence="2" x-occurrences="3"\w*, \w and|x-occurrence="2" x-occurrences="4"\w* \w did|x-occurrence="1" x-occurrences="2"\w* \w not|x-occurrence="1" x-occurrences="2"\w* \w see|x-occurrence="3" x-occurrences="3"\w*, \w and|x-occurrence="3" x-occurrences="4"\w* \w to|x-occurrence="3" x-occurrences="3"\w* \w hear|x-occurrence="1" x-occurrences="3"\w* \w what|x-occurrence="2" x-occurrences="2"\w* \w you|x-occurrence="3" x-occurrences="3"\w* \w hear|x-occurrence="2" x-occurrences="3"\w*, \w and|x-occurrence="4" x-occurrences="4"\w* \w did|x-occurrence="2" x-occurrences="2"\w* \w not|x-occurrence="2" x-occurrences="2"\w* \w hear|x-occurrence="3" x-occurrences="3"\w*.”
\¬v
\¬p