premise: A man wearing green and the number 3 riding a brown horse is ahead of a man wearing red riding a gray horse. hypothesis: The man was riding a donkey.
contradiction: One cannot be riding both a horse and a donkey simultaneously.