premise: a brown dog is walking down some steps under tree. hypothesis: a brown dog is inside with his owner.
contradiction: If the dog is inside it cannot be walking down some steps under a tree at the same time.