Anne is green. Anne is smart. Bob is blue. Bob is not green. Bob is red. Charlie is not red. Charlie is rough. Charlie is not young. Gary is not big. Gary is blue. Gary is rough. Gary is young. If something is young and smart then it is big. All young, green things are not red. All big things are not green.
Gary is green.