Charlie is nice. Gary is not quiet. Smart things are nice. If something is nice then it is green. Kind, smart things are green. If Charlie is kind and Charlie is nice then Charlie is red. If something is not young then it is smart. If something is not green then it is not quiet.
Gary is kind.