premise: Flowers are behind the fluffy dog that is coming up the step. hypothesis: A dog is laying on the couch.
contradiction: A dog cannot be both laying down and coming up the steps at the same time.