Premise: Padua (Padova)

Hypothesis: Not Padua.
Relation: contradiction