A cyclist in a yellow shirt and blue helmet is cycling past a building covered in graffiti.
The cyclist is wearing a black helmet
The cyclist cannot wear a black helmet if they are already wearing a blue helmet
(-x)
(-x)