\p
\v=23
\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="2"\w* \w उतार|x-occurrence="1" x-occurrences="2"\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* \w उतार|x-occurrence="2" x-occurrences="2"\w* \w दिया|x-occurrence="2" x-occurrences="2"\w*।
\¬v
\¬p