\v=30
\v~=\w So|x-occurrence="1" x-occurrences="1"\w* \w after|x-occurrence="1" x-occurrences="1"\w* \w Judas|x-occurrence="1" x-occurrences="1"\w* \w took|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="1"\w* \w bread|x-occurrence="1" x-occurrences="1"\w* \w from|x-occurrence="1" x-occurrences="1"\w* \w Jesus|x-occurrence="1" x-occurrences="1"\w*, \w he|x-occurrence="1" x-occurrences="1"\w* \w immediately|x-occurrence="1" x-occurrences="1"\w* \w went|x-occurrence="1" x-occurrences="1"\w* \w out|x-occurrence="1" x-occurrences="1"\w*. (\w It|x-occurrence="1" x-occurrences="1"\w* \w was|x-occurrence="1" x-occurrences="1"\w* \w night|x-occurrence="1" x-occurrences="1"\w*.)
\¬v
\¬p