Anne is blue. Anne is green. Anne is nice. Anne is red. Anne is smart. Charlie is blue. Charlie is green. Charlie is nice. Charlie is quiet. Gary is blue. Gary is green. Gary is nice. Gary is quiet. Gary is red. Gary is smart. Gary is young. If something is young and red then it is nice. If something is blue then it is green.
Gary is not smart.