premise: Two dogs in a grassy park playing. hypothesis: Dogs sleeping at home.
contradiction: The dogs can't be playing while they are sleeping. They cannot simultaneously be at home and in a grassy park.