Anne is white. Bob is furry. Charlie is green. Charlie is nice. Gary is nice. Gary is round. Gary is white. If Charlie is round and Charlie is white then Charlie is furry. If something is white then it is nice. Nice things are quiet. All white, furry things are red. Nice, furry things are quiet. If something is quiet then it is white. All white, green things are round. If something is not nice then it is green.
Charlie is furry.