\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