premise: A big tan dog lays on the ground looking to the side. hypothesis: A big red dog is sleeping on a couch.
contradiction: A dog cannot be sleeping on a couch and laying on the ground simultaneously.