\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="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