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