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