Bob is green. Erin is smart. Harry is not green. If someone is green and not young then they are nice. If someone is not young then they are not white. White people are smart. If someone is green and not red then they are smart. All nice people are green. Blue, young people are green.
Harry is not nice.