\v=20
\v~=\w added|x-occurrence="1" x-occurrences="1"\w* \w even|x-occurrence="1" x-occurrences="1"\w* \w this|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="1"\w* \w them|x-occurrence="1" x-occurrences="1"\w* \w all|x-occurrence="1" x-occurrences="1"\w*: \w He|x-occurrence="1" x-occurrences="1"\w* \w locked|x-occurrence="1" x-occurrences="1"\w* \w John|x-occurrence="1" x-occurrences="1"\w* \w up|x-occurrence="1" x-occurrences="1"\w* \w in|x-occurrence="1" x-occurrences="1"\w* \w prison|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p