premise: Two men are carrying a canoe down the mountain. hypothesis: Two men driving home with a canoe.
contradiction: The men can not be driving home with a canoe if they are carrying it down the mountain.