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