Anne is big. Anne is kind. Charlie is nice. Charlie is not white. Erin is kind. Erin is not red. Gary is white. Young people are white. All white, round people are kind. All big people are round. All kind people are nice. All kind people are not red. White people are nice. White, nice people are big.
Gary is not kind.