\v=25
\v~=\w How|x-occurrence="1" x-occurrences="1"\w* \w sad|x-occurrence="1" x-occurrences="1"\w* \w it|x-occurrence="1" x-occurrences="1"\w* \w is|x-occurrence="1" x-occurrences="1"\w* \w for|x-occurrence="1" x-occurrences="1"\w* \w you|x-occurrence="1" x-occurrences="3"\w* \w who|x-occurrence="1" x-occurrences="2"\w* \w can|x-occurrence="1" x-occurrences="1"\w* \w stuff|x-occurrence="1" x-occurrences="1"\w* \w yourselves|x-occurrence="1" x-occurrences="1"\w* \w with|x-occurrence="1" x-occurrences="1"\w* \w food|x-occurrence="1" x-occurrences="1"\w* \w now|x-occurrence="1" x-occurrences="2"\w*. \w Later|x-occurrence="1" x-occurrences="2"\w* \w you|x-occurrence="2" x-occurrences="3"\w* \w will|x-occurrence="1" x-occurrences="2"\w* \w go|x-occurrence="1" x-occurrences="1"\w* \w hungry|x-occurrence="1" x-occurrences="1"\w*.
\¬p
\p
\p~<<p=\w Woe|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="1"\w* \w ones|x-occurrence="1" x-occurrences="1"\w* \w who|x-occurrence="2" x-occurrences="2"\w* \w are|x-occurrence="1" x-occurrences="1"\w* \w laughing|x-occurrence="1" x-occurrences="1"\w* \w now|x-occurrence="2" x-occurrences="2"\w*. \w Later|x-occurrence="2" x-occurrences="2"\w* \w you|x-occurrence="3" x-occurrences="3"\w* \w will|x-occurrence="2" x-occurrences="2"\w* \w be|x-occurrence="1" x-occurrences="1"\w* \w very|x-occurrence="1" x-occurrences="1"\w* \w unhappy|x-occurrence="1" x-occurrences="1"\w*.
\¬v