\v=11
\v~=\w He|x-occurrence="1" x-occurrences="1"\w* \w was|x-occurrence="1" x-occurrences="1"\w* \w useless|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="3"\w* \w you|x-occurrence="1" x-occurrences="2"\w* \w in|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="1"\w* \w past|x-occurrence="1" x-occurrences="1"\w*, \w but|x-occurrence="1" x-occurrences="1"\w* \w now|x-occurrence="1" x-occurrences="1"\w* \w he|x-occurrence="1" x-occurrences="1"\w* \w is|x-occurrence="1" x-occurrences="1"\w* \w useful|x-occurrence="1" x-occurrences="1"\w* \w both|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="2" x-occurrences="3"\w* \w you|x-occurrence="2" x-occurrences="2"\w* \w and|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="3" x-occurrences="3"\w* \w me|x-occurrence="1" x-occurrences="1"\w*!
\¬v
\¬p