\p
\v=32
\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*।
\¬v
\¬p