premise: Two lines of colorful cars racing on a racetrack. hypothesis: There are some cars coming to a slow stop.
contradiction: One cannot be racing on a racetrack and coming to a slow stop at the same time.