\v=26
\v~=\w Then|x-occurrence="1" x-occurrences="1"\w* \w this|x-occurrence="1" x-occurrences="1"\w* \w evil|x-occurrence="1" x-occurrences="2"\w* \w spirit|x-occurrence="1" x-occurrences="1"\w* \w goes|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="1" x-occurrences="3"\w* \w gets|x-occurrence="1" x-occurrences="1"\w* \w seven|x-occurrence="1" x-occurrences="1"\w* \w other|x-occurrence="1" x-occurrences="1"\w* \w spirits|x-occurrence="1" x-occurrences="1"\w* \w that|x-occurrence="1" x-occurrences="2"\w* \w are|x-occurrence="1" x-occurrences="1"\w* \w even|x-occurrence="1" x-occurrences="2"\w* \w more|x-occurrence="1" x-occurrences="1"\w* \w evil|x-occurrence="2" x-occurrences="2"\w* \w than|x-occurrence="1" x-occurrences="1"\w* \w it|x-occurrence="1" x-occurrences="2"\w* \w is|x-occurrence="1" x-occurrences="1"\w*. \w They|x-occurrence="1" x-occurrences="1"\w* \w all|x-occurrence="1" x-occurrences="1"\w* \w enter|x-occurrence="1" x-occurrences="1"\w* \w that|x-occurrence="2" x-occurrences="2"\w* \w person|x-occurrence="1" x-occurrences="2"\w* \w and|x-occurrence="2" x-occurrences="3"\w* \w begin|x-occurrence="1" x-occurrences="1"\w* \w living|x-occurrence="1" x-occurrences="1"\w* \w in|x-occurrence="1" x-occurrences="1"\w* \w him|x-occurrence="1" x-occurrences="1"\w*. \w That|x-occurrence="1" x-occurrences="1"\w* \w person|x-occurrence="2" x-occurrences="2"\w*’\w s|x-occurrence="1" x-occurrences="1"\w* \w condition|x-occurrence="1" x-occurrences="1"\w* \w was|x-occurrence="1" x-occurrences="1"\w* \w bad|x-occurrence="1" x-occurrences="1"\w* \w before|x-occurrence="1" x-occurrences="1"\w*, \w and|x-occurrence="3" x-occurrences="3"\w* \w it|x-occurrence="2" x-occurrences="2"\w* \w becomes|x-occurrence="1" x-occurrences="1"\w* \w even|x-occurrence="2" x-occurrences="2"\w* \w worse|x-occurrence="1" x-occurrences="1"\w*.”
\¬v
\¬p