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