\v=22
\v~=\w Then|x-occurrence="1" x-occurrences="1"\w* \w he|x-occurrence="1" x-occurrences="1"\w* \w finished|x-occurrence="1" x-occurrences="1"\w* \w speaking|x-occurrence="1" x-occurrences="1"\w* \w with|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 God|x-occurrence="1" x-occurrences="1"\w* \w went|x-occurrence="1" x-occurrences="1"\w* \w up|x-occurrence="1" x-occurrences="1"\w* \w from|x-occurrence="1" x-occurrences="1"\w* \w Abraham|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p