\p
\v=19
\v~=\w Any|x-occurrence="1" x-occurrences="1"\w* \w lier|x-occurrence="1" x-occurrences="1"\w* \w with|x-occurrence="1" x-occurrences="1"\w* \w an|x-occurrence="1" x-occurrences="1"\w* \w animal|x-occurrence="1" x-occurrences="1"\w* \w shall|x-occurrence="1" x-occurrences="1"\w* \w surely|x-occurrence="1" x-occurrences="1"\w* \w be|x-occurrence="1" x-occurrences="1"\w* \w put|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="1"\w* \w death|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p