\v=45
\v~=\w When|x-occurrence="1" x-occurrences="1"\w* \w therefore|x-occurrence="1" x-occurrences="1"\w* \w he|x-occurrence="1" x-occurrences="2"\w* \w came|x-occurrence="1" x-occurrences="1"\w* \w into|x-occurrence="1" x-occurrences="1"\w* \w Galilee|x-occurrence="1" x-occurrences="1"\w*, \w the|x-occurrence="1" x-occurrences="4"\w* \w Galileans|x-occurrence="1" x-occurrences="1"\w* \w welcomed|x-occurrence="1" x-occurrences="1"\w* \w him|x-occurrence="1" x-occurrences="1"\w*, \w having|x-occurrence="1" x-occurrences="1"\w* \w seen|x-occurrence="1" x-occurrences="1"\w* \w all|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="2" x-occurrences="4"\w* \w things|x-occurrence="1" x-occurrences="1"\w*, \w as|x-occurrence="1" x-occurrences="2"\w* \w much|x-occurrence="1" x-occurrences="1"\w* \w as|x-occurrence="2" x-occurrences="2"\w* \w he|x-occurrence="2" x-occurrences="2"\w* \w had|x-occurrence="1" x-occurrences="2"\w* \w done|x-occurrence="1" x-occurrences="1"\w* \w in|x-occurrence="1" x-occurrences="1"\w* \w Jerusalem|x-occurrence="1" x-occurrences="1"\w* \w at|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="3" x-occurrences="4"\w* \w festival|x-occurrence="1" x-occurrences="2"\w*, \w for|x-occurrence="1" x-occurrences="1"\w* \w they|x-occurrence="1" x-occurrences="1"\w* \w had|x-occurrence="2" x-occurrences="2"\w* \w also|x-occurrence="1" x-occurrences="1"\w* \w gone|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="4" x-occurrences="4"\w* \w festival|x-occurrence="2" x-occurrences="2"\w*.
\¬v
\¬p