Anne is not nice. Charlie is kind. Charlie is smart. Erin is furry. Erin is kind. Erin is smart. Gary is not big. Gary is furry. Gary is kind. Gary is nice. If something is nice and not big then it is green. All white things are furry. Furry things are green. Nice things are white. All nice, smart things are white. Green things are nice. If Anne is kind and Anne is not nice then Anne is furry. If Gary is not green then Gary is furry.
Charlie is not nice.