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