\q1
\v=14
\v~=\w They|x-occurrence="1" x-occurrences="1"\w* \w are|x-occurrence="1" x-occurrences="1"\w* \w glad|x-occurrence="1" x-occurrences="1"\w* \w when|x-occurrence="1" x-occurrences="1"\w* \w they|x-occurrence="1" x-occurrences="3"\w* \w do|x-occurrence="1" x-occurrences="1"\w* \w what|x-occurrence="1" x-occurrences="2"\w* \w is|x-occurrence="1" x-occurrences="2"\w* \w wrong|x-occurrence="1" x-occurrences="2"\w*,
\¬q1
\q2
\p~<<q2=\w they|x-occurrence="2" x-occurrences="3"\w* \w twist|x-occurrence="1" x-occurrences="1"\w* \w good|x-occurrence="1" x-occurrences="1"\w* \w things|x-occurrence="1" x-occurrences="1"\w* \w into|x-occurrence="1" x-occurrences="1"\w* \w bad|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="1" x-occurrences="1"\w* \w enjoy|x-occurrence="1" x-occurrences="1"\w* \w doing|x-occurrence="1" x-occurrences="1"\w* \w what|x-occurrence="2" x-occurrences="2"\w* \w they|x-occurrence="3" x-occurrences="3"\w* \w know|x-occurrence="1" x-occurrences="1"\w* \w is|x-occurrence="2" x-occurrences="2"\w* \w wrong|x-occurrence="2" x-occurrences="2"\w*.
\¬q2
\¬v