\p
\v=3
\v~=\w परन्तु|x-occurrence="1" x-occurrences="1"\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="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