premise: A black and brown dog is laying on a white shaggy carpet. hypothesis: A cat is walking through the grass.
contradiction: A dog is not a cat. One cannot be laying and walking at the same time. A white shaggy carpet is not grass.