\p
\v=10
\v~=\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="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="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="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* \w कुछ|x-occurrence="1" x-occurrences="1"\w* \w परिपूर्ण|x-occurrence="1" x-occurrences="1"\w* \w करे|x-occurrence="1" x-occurrences="1"\w*।)
\¬v
\¬p