premise: At the corner of an intersection, a black vehicle waits as a woman in black holding a bag is crossing the street. hypothesis: The vehicle was red.
contradiction: either the vehicle is black or red and cannot be both.