Premise: Stopping at a red light.
Hypothesis: The light is green.
Relationship: contradiction