\p
\v=10
\v~=\w जब|x-occurrence="1" x-occurrences="2"\w* \w वे|x-occurrence="1" x-occurrences="3"\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="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="2" x-occurrences="2"\w*, \w और|x-occurrence="1" x-occurrences="1"\w* \w जब|x-occurrence="2" x-occurrences="2"\w* \w वे|x-occurrence="2" x-occurrences="3"\w* \w निकलें|x-occurrence="1" x-occurrences="2"\w*, \w तब|x-occurrence="2" x-occurrences="2"\w* \w वे|x-occurrence="3" x-occurrences="3"\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*।
\¬v
\¬p