premise: A dog walking away at the beach. hypothesis: The dog lays on the couch.
contradiction: The dog cannot be both walking away and laying down, and it cannot be both at the beach and on the couch.