Premise: Strasbourg

Hypothesis: Not Strasbourg
Relation: contradiction