Premise: Stopping at a red light.
Hypothesis: the person is running all lights
Relationship: contradiction