premise: 6 men in work jumpsuits and 1 man in an orange jumpsuit are walking next to green and red loading docks. hypothesis: Everyone is wearing a red jumpsuit.
contradiction: If at least one man is wearing orange, than everyone is not wearing red.