premise: As the brown dog looks the other way, a large black and white dog plays with a smaller black dog. hypothesis: The dogs are all asleep.
contradiction: Dogs which looks and plays cannot be asleep.