\v=50
\v~=\w And|x-occurrence="1" x-occurrences="1"\w* \w having|x-occurrence="1" x-occurrences="1"\w* \w left|x-occurrence="1" x-occurrences="1"\w* \w him|x-occurrence="1" x-occurrences="1"\w*, \w they|x-occurrence="1" x-occurrences="1"\w* \w all|x-occurrence="1" x-occurrences="1"\w* \w ran|x-occurrence="1" x-occurrences="1"\w* \w away|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p