Erin is cold. Erin is green. Erin is not kind. Gary is big. Gary is cold. Gary is not green. Gary is kind. Harry is blue. Harry is kind. Harry is red. If Harry is kind and Harry is big then Harry is smart. All blue people are big.
Harry is smart.