premise: A brown dog is playing with a white and brown dog in a grassy and treed area. hypothesis: A dog is playing with a cat.
contradiction: If a dog is playing with a cat, then it is not playing with another dog.