\v=15
\v~=\w so|x-occurrence="1" x-occurrences="1"\w* \w that|x-occurrence="1" x-occurrences="1"\w* \w all|x-occurrence="1" x-occurrences="1"\w* \w who|x-occurrence="1" x-occurrences="1"\w* \w believe|x-occurrence="1" x-occurrences="1"\w* \w in|x-occurrence="1" x-occurrences="1"\w* \w him|x-occurrence="1" x-occurrences="1"\w* \w may|x-occurrence="1" x-occurrences="1"\w* \w have|x-occurrence="1" x-occurrences="1"\w* \w eternal|x-occurrence="1" x-occurrences="1"\w* \w life|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p