Charlie is big. Charlie is cold. Charlie is red. Charlie is white. Gary is big. Gary is red. Gary is smart. Harry is cold. Harry is green. Harry is white. If something is red then it is round. Big, cold things are green. If something is red and round then it is green. If something is green then it is big. Smart, big things are cold. All green things are big.
Harry is smart.