Charlie is blue. Charlie is young. Erin is blue. Erin is not nice. Erin is round. Erin is white. Erin is young. Gary is not nice. Gary is red. Gary is young. If someone is round and not nice then they are white. If someone is blue then they are round. All kind, blue people are not red. All white people are not red. If someone is red then they are not kind. If Erin is kind then Erin is not red.
Gary is not blue.