Premise: Porto-Vecchio

Hypothesis: Not Porto-Vecchio
Relation: contradiction