premise: A runner in blue has the lead in the inside lane, while two runners in green and orange trail from the outside. hypothesis: dog sleeps on deck.
contradiction: The dog wouldn't sleep if there are people running around him.