\p
\v=11
\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*
\¬p
\q1<<q
\p~<<q=\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="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="1" x-occurrences="1"\w* \w भी|x-occurrence="1" x-occurrences="1"\w*।
\¬q1
\¬v