Charlie is green. Charlie is round. Erin is furry. Erin is nice. Fiona is nice. Fiona is red. Fiona is round. Fiona is white. Gary is red. Gary is round. If Gary is green and Gary is red then Gary is furry. All furry, white things are kind. All green things are round. All white, red things are green. All kind, nice things are red. Round things are red. All furry things are white.
Charlie is not nice.