premise: a large tan bulldog walking along the rocky shore of a small stream. hypothesis: The dog is running through a grassy field.
contradiction: bulldog walking cannot be a dog running at the same time.