Anne is cold. Anne is furry. Anne is kind. Anne is red. Anne is not smart. Anne is white. Anne is young. Charlie is furry. Charlie is white. Dave is furry. Dave is smart. Harry is young. If Charlie is white then Charlie is young. If someone is kind and not smart then they are cold. All furry, young people are red.
Harry is not furry.