Gary is green. Gary is not nice. Gary is quiet. If Gary is quiet and Gary is red then Gary is green. If something is green and smart then it is quiet. If Gary is red then Gary is smart. If something is young and green then it is smart. If something is not red then it is big. All big things are smart. If something is not green then it is young. If something is not quiet then it is not nice.
Gary is red.