\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="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