premise: A dog follows another dog around the corner but looks back. hypothesis: Two dogs are sleeping on a couch.
contradiction: A dog that follows another dog around the corner cannot be sleeping on a couch same time.