premise: A man on a white horse looks into the distance, as does a man in a red hat standing nearby. hypothesis: Nobody has a horse.
contradiction: A man on a white horse looks into the distance and  Nobody has a horse.