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