\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="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="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="2" x-occurrences="2"\w*।
\¬v
\¬p