premise: A man is in a red race car while another man is at the back of it. hypothesis: An unoccupied race car is on the track.
contradiction: An unoccupied race car cannot have a man in it and another man at the back.