premise: A red race car with a driver in a sky blue helmet in the racing track. hypothesis: The blue car with a driver is parked in the lot.
contradiction: A person can't both be parked in a lot and on a racing track.