Premise: Three traffic lights hang over Wilson Street.
Hypothesis: There are no lights over Wilson Street
Relationship: contradiction