Anne is blue. Anne is nice. Anne is red. Charlie is green. Charlie is red. Charlie is white. Charlie is young. Erin is blue. Erin is green. Erin is nice. Gary is green. Gary is young. All green, nice people are kind. White, green people are nice. Blue people are white. If Charlie is nice and Charlie is kind then Charlie is green. All red people are nice. If someone is green then they are blue. If Erin is red and Erin is white then Erin is kind. Young, kind people are red.
Gary is not red.