\p
\v=21
\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="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="1" x-occurrences="2"\w* \w नई|x-occurrence="1" 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* \w और|x-occurrence="2" 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="3" 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="1" x-occurrences="1"\w* \w बिताते|x-occurrence="1" x-occurrences="1"\w* \w थे|x-occurrence="2" x-occurrences="2"\w*।)  
\¬v
\¬p