\v=9
\v~=\w But|x-occurrence="1" x-occurrences="1"\w* \w now|x-occurrence="1" x-occurrences="1"\w* \w you|x-occurrence="1" x-occurrences="3"\w* \w must|x-occurrence="1" x-occurrences="1"\w* \w surely|x-occurrence="1" x-occurrences="1"\w* \w punish|x-occurrence="1" x-occurrences="1"\w* \w him|x-occurrence="1" x-occurrences="2"\w*. \w You|x-occurrence="1" x-occurrences="1"\w* \w are|x-occurrence="1" x-occurrences="1"\w* \w a|x-occurrence="1" x-occurrences="1"\w* \w wise|x-occurrence="1" x-occurrences="1"\w* \w man|x-occurrence="1" x-occurrences="2"\w*, \w so|x-occurrence="1" x-occurrences="1"\w* \w you|x-occurrence="2" x-occurrences="3"\w* \w will|x-occurrence="1" x-occurrences="1"\w* \w know|x-occurrence="1" x-occurrences="1"\w* \w what|x-occurrence="1" x-occurrences="1"\w* \w you|x-occurrence="3" x-occurrences="3"\w* \w should|x-occurrence="1" x-occurrences="1"\w* \w do|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="1"\w* \w him|x-occurrence="2" x-occurrences="2"\w*. \w He|x-occurrence="1" x-occurrences="1"\w* \w is|x-occurrence="1" x-occurrences="1"\w* \w an|x-occurrence="1" x-occurrences="1"\w* \w old|x-occurrence="1" x-occurrences="1"\w* \w man|x-occurrence="2" x-occurrences="2"\w*, \w but|x-occurrence="1" x-occurrences="1"\w* \w be|x-occurrence="1" x-occurrences="1"\w* \w sure|x-occurrence="1" x-occurrences="1"\w* \w that|x-occurrence="1" x-occurrences="1"\w* \w his|x-occurrence="1" x-occurrences="1"\w* \w blood|x-occurrence="1" x-occurrences="1"\w* \w flows|x-occurrence="1" x-occurrences="1"\w* \w when|x-occurrence="1" x-occurrences="1"\w* \w he|x-occurrence="1" x-occurrences="1"\w* \w dies|x-occurrence="1" x-occurrences="1"\w* .”
\¬v
\¬p