Premise: I saw a top-hat.

Hypothesis: I didn't see any hats.
Relation: contradiction