\v=16
\v~=\w These|x-occurrence="1" x-occurrences="1"\w* {\w false|x-occurrence="1" x-occurrences="1"\w* \w teachers|x-occurrence="1" x-occurrences="1"\w*} \w grumble|x-occurrence="1" x-occurrences="1"\w* {\w to|x-occurrence="1" x-occurrences="4"\w* \w themselves|x-occurrence="1" x-occurrences="2"\w*} \w and|x-occurrence="1" x-occurrences="2"\w* \w complain|x-occurrence="1" x-occurrences="1"\w* {\w to|x-occurrence="2" x-occurrences="4"\w* \w others|x-occurrence="1" x-occurrences="1"\w*}. \w They|x-occurrence="1" x-occurrences="2"\w* \w live|x-occurrence="1" x-occurrences="1"\w* \w according|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="3" x-occurrences="4"\w* \w their|x-occurrence="1" x-occurrences="1"\w* \w sinful|x-occurrence="1" x-occurrences="1"\w* \w desires|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="2" x-occurrences="2"\w* \w brag|x-occurrence="1" x-occurrences="1"\w* \w about|x-occurrence="1" x-occurrences="1"\w* \w themselves|x-occurrence="2" x-occurrences="2"\w*. \w They|x-occurrence="2" x-occurrences="2"\w* \w flatter|x-occurrence="1" x-occurrences="1"\w* \w people|x-occurrence="1" x-occurrences="1"\w* \w in|x-occurrence="1" x-occurrences="1"\w* \w order|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="4" x-occurrences="4"\w* \w get|x-occurrence="1" x-occurrences="1"\w* \w what|x-occurrence="1" x-occurrences="1"\w* \w they|x-occurrence="1" x-occurrences="1"\w* \w want|x-occurrence="1" x-occurrences="1"\w* {\w from|x-occurrence="1" x-occurrences="1"\w* \w them|x-occurrence="1" x-occurrences="1"\w*}.
\¬v
\¬p