\p
\v=17
\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*:
\¬v
\¬p