\v=27
\v~=\w He|x-occurrence="1" x-occurrences="2"\w* \w is|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="2"\w* \w one|x-occurrence="1" x-occurrences="1"\w* \w about|x-occurrence="1" x-occurrences="1"\w* \w whom|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="2" x-occurrences="2"\w* \w prophet|x-occurrence="1" x-occurrences="1"\w* \w wrote|x-occurrence="1" x-occurrences="1"\w* \w long|x-occurrence="1" x-occurrences="1"\w* \w ago|x-occurrence="1" x-occurrences="1"\w*: ‘\w See|x-occurrence="1" x-occurrences="1"\w*, \w I|x-occurrence="1" x-occurrences="1"\w* \w am|x-occurrence="1" x-occurrences="1"\w* \w sending|x-occurrence="1" x-occurrences="1"\w* \w my|x-occurrence="1" x-occurrences="1"\w* \w messenger|x-occurrence="1" x-occurrences="1"\w* \w ahead|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="1"\w* \w you|x-occurrence="1" x-occurrences="1"\w*. \w He|x-occurrence="2" x-occurrences="2"\w* \w will|x-occurrence="1" x-occurrences="1"\w* \w prepare|x-occurrence="1" x-occurrences="1"\w* \w people|x-occurrence="1" x-occurrences="1"\w* \w for|x-occurrence="1" x-occurrences="1"\w* \w your|x-occurrence="1" x-occurrences="1"\w* \w coming|x-occurrence="1" x-occurrences="1"\w*.’
\¬v
\¬p