premise: A small green car with the number 63 on the door races on a track. hypothesis: A red car with the number 37 on the hood travels around a track.
contradiction: A green car with 63 on the door cannot be a red car with 37 on the hood simultaneously.