\v=35
\v~=\w But|x-occurrence="1" x-occurrences="1"\w* \w some|x-occurrence="1" x-occurrences="1"\w* \w day|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="1"\w* \w bridegroom|x-occurrence="1" x-occurrences="1"\w* \w will|x-occurrence="1" x-occurrences="2"\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 with|x-occurrence="1" x-occurrences="1"\w* \w his|x-occurrence="1" x-occurrences="1"\w* \w friends|x-occurrence="1" x-occurrences="1"\w*. \w Then|x-occurrence="1" x-occurrences="1"\w*, \w at|x-occurrence="1" x-occurrences="1"\w* \w that|x-occurrence="1" x-occurrences="1"\w* \w time|x-occurrence="1" x-occurrences="1"\w*, \w they|x-occurrence="1" x-occurrences="1"\w* \w will|x-occurrence="2" x-occurrences="2"\w* \w abstain|x-occurrence="1" x-occurrences="1"\w* \w from|x-occurrence="1" x-occurrences="1"\w* \w food|x-occurrence="1" x-occurrences="1"\w*.”
\¬v
\¬p