\v=17
\v~=\w Nathan|x-occurrence="1" x-occurrences="1"\w* \w spoke|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="2"\w* \w David|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="1" x-occurrences="2"\w* \w reported|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="2" x-occurrences="2"\w* \w him|x-occurrence="1" x-occurrences="1"\w* \w all|x-occurrence="1" x-occurrences="1"\w* \w these|x-occurrence="1" x-occurrences="1"\w* \w words|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="2" x-occurrences="2"\w* \w the|x-occurrence="1" x-occurrences="1"\w* \w entire|x-occurrence="1" x-occurrences="1"\w* \w vision|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p