\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="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