premise: A red car is passing in front of a double-decker bus. hypothesis: The red car has crashed with the double-decker bus.
contradiction: A car passing in front of a bus can not have crashed with the bus.