premise: Two men walk in the park, one with a shaggy dog on a leash and a device for cleaning up canine droppings. hypothesis: The dog isn't shaggy.
contradiction: The dog is either a shaggy or isn't shaggy.