Charlie is cold. Charlie is green. Gary is big. Gary is not green. Gary is smart. Harry is big. Harry is blue. Harry is cold. Harry is green. Harry is nice. Harry is round. Harry is not smart. All cold, smart people are big. If someone is big then they are blue. Cold, smart people are blue.
Harry is smart.