Text: As someone has said, Columbus only thought that he had discovered Jamaica.
Entailment: Columbus thought he discovered Jamaica.
Contradiction: Columbus had discovered Taiwan.