\v=23
\v~=\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="2"\w* \w is|x-occurrence="1" x-occurrences="1"\w* \w dead|x-occurrence="1" x-occurrences="1"\w*, \w so|x-occurrence="1" x-occurrences="1"\w* \w why|x-occurrence="1" x-occurrences="1"\w* \w should|x-occurrence="1" x-occurrences="1"\w* \w I|x-occurrence="1" x-occurrences="3"\w* \w fast|x-occurrence="1" x-occurrences="1"\w*? \w Can|x-occurrence="1" x-occurrences="1"\w* \w I|x-occurrence="2" x-occurrences="3"\w* \w bring|x-occurrence="1" x-occurrences="1"\w* \w him|x-occurrence="1" x-occurrences="2"\w* \w back|x-occurrence="1" x-occurrences="1"\w* \w again|x-occurrence="1" x-occurrences="1"\w*? \w I|x-occurrence="3" x-occurrences="3"\w* \w will|x-occurrence="1" x-occurrences="2"\w* \w go|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="2"\w* \w him|x-occurrence="2" x-occurrences="2"\w*, \w but|x-occurrence="1" x-occurrences="1"\w* \w he|x-occurrence="2" x-occurrences="2"\w* \w will|x-occurrence="2" x-occurrences="2"\w* \w not|x-occurrence="1" x-occurrences="1"\w* \w return|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="2" x-occurrences="2"\w* \w me|x-occurrence="1" x-occurrences="1"\w*.”
\¬v
\¬p