premise: A red-sleeved man has thrown down, in a sparring manner, a gentleman with blue sleeves. hypothesis: A blue-sleeved man has thrown down another man is red sleeves.
contradiction: A blue-sleeved man cannot at the same time be a red-sleeved man.