Anne is not blue. Anne is cold. Anne is furry. Anne is not kind. Anne is rough. Anne is smart. Bob is cold. Bob is green. Bob is kind. Bob is not rough. Erin is blue. Erin is cold. Erin is furry. Erin is kind. Erin is smart. Blue, kind people are not green. If someone is not cold and not kind then they are furry.
Anne is smart.