premise: A mottled black and gray dog in a blue collar jumping over a fallen tree. hypothesis: The dog is inside his dog house.
contradiction: The dog cannot be both inside his dog house and outside jumping over a tree simultaneously.