Anne is not green. Anne is not red. Bob is green. Erin is nice. Erin is rough. Erin is white. Gary is not kind. If something is smart and white then it is rough. Green things are nice. If Bob is rough and Bob is white then Bob is not smart. If Bob is kind and Bob is green then Bob is red. Nice, green things are kind. If something is green then it is not rough.
Erin is smart.