premise: A brown dog with a lease is running with a person behind the dog. hypothesis: the dog was outside alone.
contradiction: Dog cannot both be outside alone, and running with someone at the same time.