Bob is blue. Bob is green. Bob is nice. Gary is blue. Gary is green. Gary is kind. Gary is nice. Gary is smart. Harry is round. Harry is smart. If something is nice and kind then it is smart. If Gary is kind and Gary is nice then Gary is blue. All blue things are cold. If something is cold then it is round. All kind, cold things are blue. All blue things are round.
Harry is kind.