\p
\v=48
\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*।
\¬v
\¬p