premise: Gray horse wearing blue cover eating from a orange bucket held by a person in a green shirt. hypothesis: A horse is sleeping.
contradiction: If the gray horse is eating, it can't also be sleeping at the same time.