\p \v=37 \v~=\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="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="2"\w* \w तक|x-occurrence="1" x-occurrences="2"\w* \w वह|x-occurrence="2" x-occurrences="2"\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* \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* \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