premise: A yellow and blue race car with 37 on it is driving around a turn on a racetrack. hypothesis: Two race cars are idle on the racetrack.
contradiction: When it is driving around, a race car is not idle.