premise: People are walking on the street, and cars are standing on the intersection for the red light. hypothesis: Cars are walking across the street as people wait for a red light.
contradiction: People who are walking do not wait. Cars are not entities that can do walking.