Premise: "The Romans called it Portus Magnus (great port), which the Ibicencos adapted to Portmany." If this premise is true, what does that tell us about whether it entails the hypothesis "It was named "Portus Magnus" by the Romans, but the Ibicencos never bothered to give it a name."?
no