premise: A man is outside with his dog shoveling the snow off of his steps. hypothesis: The dog is alone inside.
contradiction: If the dog is outside with his man, then he is not alone and he is not inside.