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