\v=17
\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="2"\w*, \w तो|x-occurrence="1" x-occurrences="2"\w* \w वारिस|x-occurrence="1" x-occurrences="3"\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="2"\w* \w वारिस|x-occurrence="2" x-occurrences="3"\w* \w और|x-occurrence="2" x-occurrences="2"\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="3" x-occurrences="3"\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="2"\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="2" x-occurrences="2"\w* \w उसके|x-occurrence="2" x-occurrences="2"\w* \w साथ|x-occurrence="2" x-occurrences="2"\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*।
\¬v
\¬p