\p
\v=25
\v~=\w और|x-occurrence="1" x-occurrences="2"\w* \w अना|x-occurrence="1" x-occurrences="2"\w* \w के|x-occurrence="1" x-occurrences="2"\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="2" x-occurrences="2"\w* \w उसी|x-occurrence="1" x-occurrences="1"\w* \w अना|x-occurrence="2" x-occurrences="2"\w* \w के|x-occurrence="2" x-occurrences="2"\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*।
\¬v
\¬p