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