premise: A jockey in blue on a race horse trails behind the jockey in orange. hypothesis: The jockey in green leaves the race when his horse becomes tired.
contradiction: The jockey can only be blue or orange not green.