premise: A blue car and a red car are racing on a track. hypothesis: A blue car is in the garage while the red car is loaded on a trailer.
contradiction: The cars cannot be racing if one is in the garage and the other is being loaded on the trailer (both activities which require the cars to be parked).