premise: A man holds a long leash with a large gray dog attached to it. hypothesis: The gray dog is not wearing his leash right now.
contradiction: If a dog is not wearing a leash, then there can not be a man holding a leash with a dog attached to it.