premise: A dog is walking down steps. hypothesis: A dog is laying on the couch.
contradiction: A dog can't be walking and laying at the same time.|contradiction: A dog cannot be laying down and walking  simultaneously.|contradiction: The dog cannot be walking and laying down at the same time.