premise: Woman in green shirt, walking dog down a trail. hypothesis: The dog is not within a mile of a trail.
contradiction: It's not possible that the dog is not within a mile of a trail because the woman is walking the dog down a trail.