\v=27
\v~=\w And|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="2"\w* \w people|x-occurrence="1" x-occurrences="1"\w* \w said|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="1"\w* \w him|x-occurrence="1" x-occurrences="2"\w* \w like|x-occurrence="1" x-occurrences="1"\w* \w this|x-occurrence="1" x-occurrences="1"\w* \w word|x-occurrence="1" x-occurrences="1"\w*, \w saying|x-occurrence="1" x-occurrences="1"\w*, “\w Thus|x-occurrence="1" x-occurrences="1"\w* \w it|x-occurrence="1" x-occurrences="1"\w* \w will|x-occurrence="1" x-occurrences="1"\w* \w be|x-occurrence="1" x-occurrences="1"\w* \w done|x-occurrence="1" x-occurrences="1"\w* \w for|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="2" x-occurrences="2"\w* \w man|x-occurrence="1" x-occurrences="1"\w* \w who|x-occurrence="1" x-occurrences="1"\w* \w strikes|x-occurrence="1" x-occurrences="1"\w* \w him|x-occurrence="2" x-occurrences="2"\w* \w down|x-occurrence="1" x-occurrences="1"\w*.”
\¬v
\¬p