Anne is young. Bob is green. Erin is smart. Harry is young. If Harry is green then Harry is furry. If something is smart and young then it is kind. All kind things are smart. All kind, big things are green. If Harry is furry and Harry is kind then Harry is young. All smart things are big.
Erin is not kind.