premise: The rottweiller is laying with its head and paws on the first step of the green carpeted stair. hypothesis: The cat is laying next to the stairs.
contradiction: A rottweiler is a dog not a cat.