\v=38
\v~=\w On|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="1"\w* \w contrary|x-occurrence="1" x-occurrences="1"\w*, \w new|x-occurrence="1" x-occurrences="2"\w* \w wine|x-occurrence="1" x-occurrences="1"\w* \w must|x-occurrence="1" x-occurrences="1"\w* \w be|x-occurrence="1" x-occurrences="1"\w* \w put|x-occurrence="1" x-occurrences="1"\w* \w into|x-occurrence="1" x-occurrences="1"\w* \w new|x-occurrence="2" x-occurrences="2"\w* \w skin|x-occurrence="1" x-occurrences="1"\w* \w bags|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p