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