\p
\v=17
\v~=\w For|x-occurrence="1" x-occurrences="1"\w* \w see|x-occurrence="1" x-occurrences="1"\w*, \w I|x-occurrence="1" x-occurrences="1"\w* \w am|x-occurrence="1" x-occurrences="1"\w* \w about|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="2"\w* \w create|x-occurrence="1" x-occurrences="1"\w* \w new|x-occurrence="1" x-occurrences="2"\w* \w heavens|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="1" x-occurrences="2"\w* \w a|x-occurrence="1" x-occurrences="1"\w* \w new|x-occurrence="2" x-occurrences="2"\w* \w earth|x-occurrence="1" x-occurrences="1"\w*;
\¬p
\q1
\p~<<q1=\w and|x-occurrence="2" x-occurrences="2"\w* \w the|x-occurrence="1" x-occurrences="1"\w* \w former|x-occurrence="1" x-occurrences="1"\w* \w things|x-occurrence="1" x-occurrences="1"\w* \w will|x-occurrence="1" x-occurrences="1"\w* \w not|x-occurrence="1" x-occurrences="1"\w* \w be|x-occurrence="1" x-occurrences="2"\w* \w remembered|x-occurrence="1" x-occurrences="1"\w* \w or|x-occurrence="1" x-occurrences="1"\w* \w be|x-occurrence="2" x-occurrences="2"\w* \w brought|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="2" x-occurrences="2"\w* \w mind|x-occurrence="1" x-occurrences="1"\w*.
\¬q1
\¬v