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