\v=27
\v~=\w If|x-occurrence="1" x-occurrences="1"\w* \w anyone|x-occurrence="1" x-occurrences="1"\w* \w eats|x-occurrence="1" x-occurrences="1"\w* \w blood|x-occurrence="1" x-occurrences="1"\w*, \w he|x-occurrence="1" x-occurrences="1"\w* \w must|x-occurrence="1" x-occurrences="1"\w* \w no|x-occurrence="1" x-occurrences="1"\w* \w longer|x-occurrence="1" x-occurrences="1"\w* \w be|x-occurrence="1" x-occurrences="1"\w* \w allowed|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="1"\w* \w associate|x-occurrence="1" x-occurrences="1"\w* \w with|x-occurrence="1" x-occurrences="1"\w* \w God|x-occurrence="1" x-occurrences="1"\w*’\w s|x-occurrence="1" x-occurrences="1"\w* \w people|x-occurrence="1" x-occurrences="1"\w*.”
\¬v
\¬p