premise: An ATV attempts to get out of a ditch. hypothesis: An ATV is driving down the road.
contradiction: if atv attemps to get out of a ditch then it cannot be driving at the same time down the road.