premise: a large tan bulldog walking along the rocky shore of a small stream. hypothesis: A large tan bulldog is sitting on a couch.
contradiction: bulldog walking cannot be a bulldog sitting at the same time.