premise: Four dogs are playing in a circle and one black dog is walking away. hypothesis: All the dogs are laying down.
contradiction: If one dog is walking away then not all of the dogs can be laying down.