\v=4
\v~=\w They|x-occurrence="1" x-occurrences="1"\w* \w drank|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="2"\w* \w wine|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="1" x-occurrences="3"\w* \w praised|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="2" x-occurrences="2"\w* \w gods|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="1"\w* \w gold|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="2" x-occurrences="3"\w* \w silver|x-occurrence="1" x-occurrences="1"\w*, \w bronze|x-occurrence="1" x-occurrences="1"\w*, \w iron|x-occurrence="1" x-occurrences="1"\w*, \w wood|x-occurrence="1" x-occurrences="1"\w*, \w and|x-occurrence="3" x-occurrences="3"\w* \w stone|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p