\p
\v=17
\v~=\w चाहे|x-occurrence="1" x-occurrences="2"\w* \w पृथ्वी|x-occurrence="1" x-occurrences="1"\w* \w पर|x-occurrence="1" x-occurrences="1"\w* \w चलनेवाले|x-occurrence="1" x-occurrences="1"\w* \w किसी|x-occurrence="1" x-occurrences="2"\w* \w पशु|x-occurrence="1" x-occurrences="1"\w*, \w चाहे|x-occurrence="2" x-occurrences="2"\w* \w आकाश|x-occurrence="1" x-occurrences="1"\w* \w में|x-occurrence="1" x-occurrences="1"\w* \w उड़नेवाले|x-occurrence="1" x-occurrences="1"\w* \w किसी|x-occurrence="2" x-occurrences="2"\w* \w पक्षी|x-occurrence="1" x-occurrences="1"\w* \w के|x-occurrence="1" x-occurrences="1"\w*,
\¬v
\¬p