Premise: Aloha Airlines offers scheduled flights to Midway.

Hypothesis: Aloha Airlines has never had a flight to Midway.
Relation: contradiction