Text: Columbus named it after his favorite Spanish monastery, Our Lady of Guadaloupe, in Estremadura.
Entailment: Estremadura was home to Columbus's favorite Spanish monastery.
Contradiction: Our Lady of Madrid was Columbus's favorite monastery.