\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="2"\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="2" x-occurrences="2"\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="2" x-occurrences="2"\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