Anne is big. Anne is blue. Anne is green. Anne is white. Anne is young. Charlie is blue. Charlie is smart. Gary is big. Gary is blue. Gary is white. Gary is young. Harry is big. Harry is blue. Harry is red. Harry is white. Harry is young. If something is green then it is big. Blue, green things are white. Smart things are red. White things are green. All red, young things are big. If Harry is red and Harry is young then Harry is blue.
Gary is red.