\p
\v=17
\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*,
\¬v
\¬p