\v=35
\v~=\w The|x-occurrence="1" x-occurrences="1"\w* \w doors|x-occurrence="1" x-occurrences="1"\w* \w were|x-occurrence="1" x-occurrences="2"\w* \w also|x-occurrence="1" x-occurrences="2"\w* \w decorated|x-occurrence="1" x-occurrences="1"\w* \w with|x-occurrence="1" x-occurrences="2"\w* \w wood|x-occurrence="1" x-occurrences="1"\w* \w carvings|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="2"\w* \w winged|x-occurrence="1" x-occurrences="1"\w* \w creatures|x-occurrence="1" x-occurrences="1"\w*, \w palm|x-occurrence="1" x-occurrences="1"\w* \w trees|x-occurrence="1" x-occurrences="1"\w*, \w and|x-occurrence="1" x-occurrences="2"\w* \w flowers|x-occurrence="1" x-occurrences="1"\w*, \w and|x-occurrence="2" x-occurrences="2"\w* \w they|x-occurrence="1" x-occurrences="1"\w* \w were|x-occurrence="2" x-occurrences="2"\w* \w also|x-occurrence="2" x-occurrences="2"\w* \w covered|x-occurrence="1" x-occurrences="1"\w* \w evenly|x-occurrence="1" x-occurrences="1"\w* \w with|x-occurrence="2" x-occurrences="2"\w* \w very|x-occurrence="1" x-occurrences="1"\w* \w thin|x-occurrence="1" x-occurrences="1"\w* \w sheets|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="2" x-occurrences="2"\w* \w gold|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p