Bob is green. Bob is red. Erin is red. Erin is white. Harry is green. Harry is not kind. Harry is red. If someone is white then they are rough. If Erin is red then Erin is rough. If someone is white then they are not kind. If someone is green then they are not white. If someone is not red then they are green. If someone is rough and not red then they are green.
Erin is not red.