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