Anne is cold. Anne is kind. Anne is quiet. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is smart. Harry is blue. Harry is cold. Harry is furry. Harry is green. Harry is kind. Harry is quiet. Harry is smart. Furry people are quiet. If someone is quiet then they are furry. All furry people are smart. Cold, quiet people are blue. If Anne is blue and Anne is green then Anne is smart. Kind, blue people are cold.
Charlie is not blue.