\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="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="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="2" 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="1" x-occurrences="1"\w*।
\¬v
\¬p