\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* \w लोगों|x-occurrence="1" x-occurrences="1"\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="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="2" x-occurrences="2"\w* \w मार|x-occurrence="1" x-occurrences="1"\w* \w डाला|x-occurrence="1" x-occurrences="1"\w*।
\¬v
\¬p