Charlie is blue. Fiona is cold. Fiona is green. Gary is furry. Gary is green. Gary is round. Gary is smart. Harry is blue. Harry is cold. Harry is round. If Charlie is smart then Charlie is nice. If something is blue then it is smart. All nice things are blue. If something is nice then it is green. Cold, smart things are round. If something is green and smart then it is cold. If Charlie is cold then Charlie is blue. If something is nice and furry then it is not smart.
Harry is not smart.