\v=30
\v~=\w But|x-occurrence="1" x-occurrences="1"\w* \w Jesus|x-occurrence="1" x-occurrences="1"\w* \w simply|x-occurrence="1" x-occurrences="1"\w* \w walked|x-occurrence="1" x-occurrences="1"\w* \w through|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="1"\w* \w crowd|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="1" x-occurrences="1"\w* \w went|x-occurrence="1" x-occurrences="1"\w* \w away|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p