\p \v=3 \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* \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