\p
\v=10
\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="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="2"\w* \w लम्बे|x-occurrence="1" x-occurrences="2"\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="2" x-occurrences="2"\w* \w बहुत|x-occurrence="1" x-occurrences="1"\w* \w थे|x-occurrence="2" x-occurrences="2"\w*;
\¬v
\¬p