Anne is blue. Anne is cold. Anne is round. Charlie is furry. Dave is not furry. Dave is quiet. Harry is furry. All round people are quiet. If someone is quiet then they are round. All cold people are white. If Dave is blue and Dave is cold then Dave is smart. If Dave is cold and Dave is blue then Dave is white. All white people are blue. Smart people are white. If someone is round then they are cold. All furry people are quiet.
Harry is smart.