premise: The Irish setter with the safety vest is running ahead of the Rottwieler and the Dalmation. hypothesis: The dogs are all inside sleeping.
contradiction: If the dogs are running they aren't sleeping.