\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* \w होती|x-occurrence="1" x-occurrences="1"\w*।
\¬v
\¬p