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