\q1
\v=3
\v~=\w A|x-occurrence="1" x-occurrences="1"\w* \w horse|x-occurrence="1" x-occurrences="1"\w* \w needs|x-occurrence="1" x-occurrences="2"\w* \w a|x-occurrence="1" x-occurrences="4"\w* \w whip|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="4"\w* \w make|x-occurrence="1" x-occurrences="1"\w* \w it|x-occurrence="1" x-occurrences="2"\w* \w move|x-occurrence="1" x-occurrences="1"\w*, \w and|x-occurrence="1" x-occurrences="1"\w* \w a|x-occurrence="2" x-occurrences="4"\w* \w donkey|x-occurrence="1" x-occurrences="1"\w* \w must|x-occurrence="1" x-occurrences="1"\w* \w have|x-occurrence="1" x-occurrences="1"\w* \w a|x-occurrence="3" x-occurrences="4"\w* \w bridle|x-occurrence="1" x-occurrences="1"\w* \w in|x-occurrence="1" x-occurrences="1"\w* \w its|x-occurrence="1" x-occurrences="2"\w* \w mouth|x-occurrence="1" x-occurrences="1"\w*, \w or|x-occurrence="1" x-occurrences="1"\w* \w it|x-occurrence="2" x-occurrences="2"\w* \w will|x-occurrence="1" x-occurrences="1"\w* \w not|x-occurrence="1" x-occurrences="1"\w* \w carry|x-occurrence="1" x-occurrences="1"\w* \w its|x-occurrence="2" x-occurrences="2"\w* \w load|x-occurrence="1" x-occurrences="1"\w*.
\¬q1
\q2
\p~<<q2=\w In|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="1"\w* \w same|x-occurrence="1" x-occurrences="1"\w* \w way|x-occurrence="1" x-occurrences="1"\w*, \w a|x-occurrence="4" x-occurrences="4"\w* \w fool|x-occurrence="1" x-occurrences="1"\w* \w needs|x-occurrence="2" x-occurrences="2"\w* \w someone|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="2" x-occurrences="4"\w* \w beat|x-occurrence="1" x-occurrences="1"\w* \w him|x-occurrence="1" x-occurrences="2"\w* \w on|x-occurrence="1" x-occurrences="1"\w* \w his|x-occurrence="1" x-occurrences="1"\w* \w back|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="3" x-occurrences="4"\w* \w get|x-occurrence="1" x-occurrences="1"\w* \w him|x-occurrence="2" x-occurrences="2"\w* \w to|x-occurrence="4" x-occurrences="4"\w* \w do|x-occurrence="1" x-occurrences="1"\w* \w anything|x-occurrence="1" x-occurrences="1"\w*.
\¬q2
\¬v