\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="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="1"\w* \w चले|x-occurrence="1" x-occurrences="1"\w* \w गए|x-occurrence="1" x-occurrences="1"\w*।
\¬v
\¬p