\v=12
\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