Premise: The Romans called it Portus Magnus (great port), which the Ibicencos adapted to Portmany.

Hypothesis: It was named "Portus Magnus" by the Romans, but the Ibicencos never bothered to give it a name.
Relation: contradiction