premise: Smoke comes from car in professional race. hypothesis: The car is driving through a car wash.
contradiction: A car cannot be in a professional race and going through a car wash simultaneously.