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