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