premise: A white dog with a blue collar runs while carrying a yellow toy. hypothesis: A cat with no collar runs carrying a mouse.
contradiction: The animal can't be both a cat and a dog. Either the animal has a collar, or has no collar. And they are either carrying a toy or a mouse.