\v=26
\v~=\w The|x-occurrence="1" x-occurrences="2"\w* \w sides|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="4"\w* \w the|x-occurrence="1" x-occurrences="4"\w* \w tank|x-occurrence="1" x-occurrences="2"\w* \w were|x-occurrence="1" x-occurrences="1"\w* \w eight|x-occurrence="1" x-occurrences="1"\w* \w centimenters|x-occurrence="1" x-occurrences="1"\w* \w thick|x-occurrence="1" x-occurrences="1"\w*. \w The|x-occurrence="2" x-occurrences="2"\w* \w rim|x-occurrence="1" x-occurrences="2"\w* \w was|x-occurrence="1" x-occurrences="2"\w* \w like|x-occurrence="1" x-occurrences="2"\w* \w the|x-occurrence="2" x-occurrences="4"\w* \w rim|x-occurrence="2" x-occurrences="2"\w* \w of|x-occurrence="2" x-occurrences="4"\w* \w a|x-occurrence="1" x-occurrences="2"\w* \w cup|x-occurrence="1" x-occurrences="1"\w*. \w It|x-occurrence="1" x-occurrences="1"\w* \w curved|x-occurrence="1" x-occurrences="1"\w* \w outward|x-occurrence="1" x-occurrences="1"\w*, \w like|x-occurrence="2" x-occurrences="2"\w* \w the|x-occurrence="3" x-occurrences="4"\w* \w petals|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="3" x-occurrences="4"\w* \w a|x-occurrence="2" x-occurrences="2"\w* \w lily|x-occurrence="1" x-occurrences="1"\w*. \w When|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="4" x-occurrences="4"\w* \w tank|x-occurrence="2" x-occurrences="2"\w* \w was|x-occurrence="2" x-occurrences="2"\w* \w full|x-occurrence="1" x-occurrences="1"\w*, \w it|x-occurrence="1" x-occurrences="1"\w* \w held|x-occurrence="1" x-occurrences="1"\w* \w about|x-occurrence="1" x-occurrences="1"\w* \w forty|x-occurrence="1" x-occurrences="1"\w*-\w four|x-occurrence="1" x-occurrences="1"\w* \w cubic|x-occurrence="1" x-occurrences="1"\w* \w meters|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="4" x-occurrences="4"\w* \w water|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p