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