\p
\v=11
\v~=\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="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="2"\w* \w पूर्व|x-occurrence="1" x-occurrences="2"\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="2"\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="2" x-occurrences="2"\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