\v=23
\v~=\w But|x-occurrence="1" x-occurrences="1"\w* \w every|x-occurrence="1" x-occurrences="1"\w* \w flying|x-occurrence="1" x-occurrences="1"\w* \w insect|x-occurrence="1" x-occurrences="1"\w* \w that|x-occurrence="1" x-occurrences="1"\w* \w has|x-occurrence="1" x-occurrences="1"\w* \w four|x-occurrence="1" x-occurrences="1"\w* \w legs|x-occurrence="1" x-occurrences="1"\w*—\w it|x-occurrence="1" x-occurrences="1"\w* \w is|x-occurrence="1" x-occurrences="1"\w* \w detestable|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="1"\w* \w you|x-occurrence="1" x-occurrences="1"\w*,
\¬v
\¬p