premise: A black dog and a white dog wrestle. hypothesis: A lazy cat stretches out in a patch of sunshine.
contradiction: An animal can not be both a dog and a cat. An animal can not wrestle and stretch simultaneously.