premise: A dog rolls on a mattress placed on a porch and scratches his back. hypothesis: The dog is rolling around the kitchen floor.
contradiction: A dog that rolls on a mattress on a porch cannot also be rolling on the kitchen floor.