premise: The yellow and black cat and the brown and black dog are fighting. hypothesis: the cat is sleeping on the floor.
contradiction: the cat and dog are fighting therefore can not be one cat sleeping.