Text: It must be Derry.
Entailment: It was surely Derry.
Contradiction: It wasn't Derry.