\v=26
\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*.
\¬v
\¬p