\q1
\v=9
\v~=\w If|x-occurrence="1" x-occurrences="1"\w* \w you|x-occurrence="1" x-occurrences="2"\w* \w give|x-occurrence="1" x-occurrences="1"\w* \w instruction|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="1"\w* \w a|x-occurrence="1" x-occurrences="2"\w* \w wise|x-occurrence="1" x-occurrences="2"\w* \w person|x-occurrence="1" x-occurrences="2"\w*, \w he|x-occurrence="1" x-occurrences="2"\w* \w will|x-occurrence="1" x-occurrences="2"\w* \w become|x-occurrence="1" x-occurrences="1"\w* \w even|x-occurrence="1" x-occurrences="2"\w* \w more|x-occurrence="1" x-occurrences="2"\w* \w wise|x-occurrence="2" x-occurrences="2"\w*.
\¬q1
\q2
\p~<<q2=\w And|x-occurrence="1" x-occurrences="1"\w* \w if|x-occurrence="1" x-occurrences="1"\w* \w you|x-occurrence="2" x-occurrences="2"\w* \w teach|x-occurrence="1" x-occurrences="1"\w* \w a|x-occurrence="2" x-occurrences="2"\w* \w person|x-occurrence="2" x-occurrences="2"\w* \w who|x-occurrence="1" x-occurrences="1"\w* \w does|x-occurrence="1" x-occurrences="1"\w* \w what|x-occurrence="1" x-occurrences="1"\w* \w is|x-occurrence="1" x-occurrences="1"\w* \w right|x-occurrence="1" x-occurrences="1"\w*, \w he|x-occurrence="2" x-occurrences="2"\w* \w will|x-occurrence="2" x-occurrences="2"\w* \w learn|x-occurrence="1" x-occurrences="1"\w* \w even|x-occurrence="2" x-occurrences="2"\w* \w more|x-occurrence="2" x-occurrences="2"\w*.
\¬q2
\¬v