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