Anne is blue. Anne is cold. Anne is not green. Anne is kind. Anne is quiet. Anne is smart. Anne is young. Bob is cold. Charlie is cold. Charlie is green. Charlie is smart. Charlie is young. Dave is blue. Dave is quiet. Dave is smart. If something is not green then it is cold. If something is cold then it is young. If something is young then it is kind. All kind, green things are cold. If something is quiet and not cold then it is kind. If something is blue and not young then it is smart.
Bob is quiet.