\p
\v=2
\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="1"\w* \w है|x-occurrence="1" x-occurrences="3"\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="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="1"\w* \w विश्राम|x-occurrence="1" x-occurrences="1"\w* \w करता|x-occurrence="1" x-occurrences="1"\w* \w है|x-occurrence="3" x-occurrences="3"\w*।
\¬v
\¬p