\p
\v=25
\v~=\w और|x-occurrence="1" x-occurrences="3"\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="2" x-occurrences="3"\w* \w नियम|x-occurrence="1" x-occurrences="1"\w* \w ठहराया|x-occurrence="1" x-occurrences="1"\w*, \w और|x-occurrence="3" x-occurrences="3"\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* \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