\p
\v=11
\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* \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