premise: A brown number six race dog is slightly behind a black race dog on a track. hypothesis: An empty track.
contradiction: If a dog is behind another dog on the track, then the track is not empty.