\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="2"\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="2"\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="2" x-occurrences="2"\w* \w அறிவிக்கப்பட்டுவருகிறது|x-occurrence="1" x-occurrences="1"\w*; \w இவைகளைத்|x-occurrence="2" x-occurrences="2"\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