premise: Two dogs play in the snow on the ground near a tree, with one on top of the other. hypothesis: A dog has chased a cat up a tree.
contradiction: There is either a dog and a cat, or there are two dogs.