\v=10
\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* \w தேவையானவைகளை|x-occurrence="1" x-occurrences="1"\w* \w ஏற்றினார்கள்|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p