Charlie is blue. Charlie is cold. Charlie is furry. Charlie is not nice. Charlie is smart. Dave is cold. Dave is round. Dave is smart. Gary is blue. Gary is furry. Gary is kind. Gary is not nice. Gary is smart. Harry is not furry. Harry is round. If someone is blue then they are furry. Kind, nice people are blue. If someone is kind then they are round. If someone is smart then they are blue. If Harry is kind and Harry is nice then Harry is smart. If Harry is not nice and Harry is not smart then Harry is round. If Harry is nice and Harry is not furry then Harry is cold. If someone is not blue then they are not furry.
Gary is smart.