\p
\v=12
\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="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* \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