\p
\v=15
\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="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="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="3"\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="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="3"\w* \w सब|x-occurrence="2" x-occurrences="2"\w* \w तराई|x-occurrence="1" x-occurrences="1"\w* \w के|x-occurrence="3" x-occurrences="3"\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