\v=3
\v~=\w While|x-occurrence="1" x-occurrences="1"\w* \w they|x-occurrence="1" x-occurrences="4"\w* \w were|x-occurrence="1" x-occurrences="1"\w* \w in|x-occurrence="1" x-occurrences="1"\w* \w his|x-occurrence="1" x-occurrences="2"\w* \w house|x-occurrence="1" x-occurrences="1"\w*, \w when|x-occurrence="1" x-occurrences="1"\w* \w they|x-occurrence="2" x-occurrences="4"\w* \w heard|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="1"\w* \w young|x-occurrence="1" x-occurrences="1"\w* \w man|x-occurrence="1" x-occurrences="1"\w* \w who|x-occurrence="1" x-occurrences="1"\w* \w had|x-occurrence="1" x-occurrences="1"\w* \w become|x-occurrence="1" x-occurrences="1"\w* \w Micah|x-occurrence="1" x-occurrences="1"\w*’\w s|x-occurrence="1" x-occurrences="1"\w* \w priest|x-occurrence="1" x-occurrences="1"\w* \w talking|x-occurrence="1" x-occurrences="1"\w*, \w they|x-occurrence="3" x-occurrences="4"\w* \w recognized|x-occurrence="1" x-occurrences="1"\w* \w him|x-occurrence="1" x-occurrences="3"\w* \w from|x-occurrence="1" x-occurrences="1"\w* \w his|x-occurrence="2" x-occurrences="2"\w* \w accent|x-occurrence="1" x-occurrences="1"\w*. \w So|x-occurrence="1" x-occurrences="1"\w* \w they|x-occurrence="4" x-occurrences="4"\w* \w went|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="1"\w* \w him|x-occurrence="2" x-occurrences="3"\w* \w and|x-occurrence="1" x-occurrences="1"\w* \w asked|x-occurrence="1" x-occurrences="1"\w* \w him|x-occurrence="3" x-occurrences="3"\w*, “\w Who|x-occurrence="1" x-occurrences="1"\w* \w brought|x-occurrence="1" x-occurrences="1"\w* \w you|x-occurrence="1" x-occurrences="3"\w* \w here|x-occurrence="1" x-occurrences="3"\w*? \w What|x-occurrence="1" x-occurrences="1"\w* \w are|x-occurrence="1" x-occurrences="1"\w* \w you|x-occurrence="2" x-occurrences="3"\w* \w doing|x-occurrence="1" x-occurrences="1"\w* \w here|x-occurrence="2" x-occurrences="3"\w*? \w Why|x-occurrence="1" x-occurrences="1"\w* \w did|x-occurrence="1" x-occurrences="1"\w* \w you|x-occurrence="3" x-occurrences="3"\w* \w come|x-occurrence="1" x-occurrences="1"\w* \w here|x-occurrence="3" x-occurrences="3"\w*?”
\¬v
\¬p