premise: A man is walking outside with two dogs. hypothesis: The man and his dogs are at their local PetSmart.
contradiction: Being at the PetSmart implies that they are inside rather than walking outside.