6 men in work jumpsuits and 1 man in an orange jumpsuit are walking next to green and red loading docks.
6 mannen in werkjumpsuit en 1 man in een oranje jumpsuit lopen naast groene en rode laaddokken.
Everyone is wearing a red jumpsuit.
Iedereen draagt een rood overall.
If at least one man is wearing orange, than everyone is not wearing red.
Als tenminste één man oranje draagt, dan draagt iedereen niet rood.