premise: The skinny brown dog is walking on a fallen tree. hypothesis: A fat dog sits on a cushion.
contradiction: The dog cannot be fat and skinny at the same time, and cannot be walking when it sits.