Premise: If you're visiting Madrid in summer, you'll appreciate the cooler mountain air of Sevila Spain's highest provincial capital, at more than 1,125 meters (3,700 feet) above sea level.

Hypothesis: The highest provincial capital in Spain is Barcelona.
Relation: contradiction