Premise: It must be Derry.

Hypothesis: It wasn't Derry.
Relation: contradiction