premise: A stoplight is yellow next to a pedestrian crossing sign. hypothesis: There is no stoplight next to the pedestrian crossing sign.
contradiction: If there is no spotlight in yellow then there is no spotlight in yellow.