Premise: Stopping at a red light.
Hypothesis: He runs the red light.
Relationship: contradiction