\v=5
\v~=\w But|x-occurrence="1" x-occurrences="1"\w* \w even|x-occurrence="1" x-occurrences="1"\w* \w though|x-occurrence="1" x-occurrences="1"\w* \w Jesus|x-occurrence="1" x-occurrences="1"\w* \w was|x-occurrence="1" x-occurrences="3"\w* \w not|x-occurrence="1" x-occurrences="2"\w* \w guilty|x-occurrence="1" x-occurrences="1"\w*, \w he|x-occurrence="1" x-occurrences="1"\w* \w did|x-occurrence="1" x-occurrences="1"\w* \w not|x-occurrence="2" x-occurrences="2"\w* \w say|x-occurrence="1" x-occurrences="1"\w* \w anything|x-occurrence="1" x-occurrences="1"\w* \w more|x-occurrence="1" x-occurrences="1"\w*. \w The|x-occurrence="1" x-occurrences="1"\w* \w result|x-occurrence="1" x-occurrences="1"\w* \w was|x-occurrence="2" x-occurrences="3"\w* \w that|x-occurrence="1" x-occurrences="1"\w* \w Pilate|x-occurrence="1" x-occurrences="1"\w* \w was|x-occurrence="3" x-occurrences="3"\w* \w very|x-occurrence="1" x-occurrences="1"\w* \w much|x-occurrence="1" x-occurrences="1"\w* \w surprised|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p