premise: One mechanic is sitting on the roof of a school bus with an open door, while the other is standing inside the bus. hypothesis: The bus driver lets the kids off at the bus stop.
contradiction: The mechanic cannot be on the roof if the bus driver is driving.