premise: An older, somewhat obese man with no shirt and a tattoo is looking out from the porch of his house while a cat sits on the steps below. hypothesis: The cat is sleeping on the sofa.
contradiction: The cat cannot be sleeping and sit simultaneously.