Anne is cold. Anne is green. Bob is green. Bob is rough. Erin is blue. Erin is cold. Erin is rough. Harry is blue. Harry is rough. Harry is smart. Kind, blue things are smart. If something is smart and green then it is kind. Rough, blue things are cold. If something is nice and green then it is blue. All green things are blue. All kind things are green.
Erin is not nice.