A man in a red jumpsuit and black helmet is driving a red go-kart with the number 20 on the steering column.
A man in a blue jumpsuit and red helmet is driving a go-kart.
A man is either wearing a red jump suit or a blue jump suit, but can not wear both.
(-x)
(-x)