Premise: a horse runs.
Hypothesis: The horse is walking.
Relationship: contradiction