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