Anne is furry. Anne is red. Anne is white. Charlie is red. Dave is white. Fiona is big. Fiona is nice. Nice things are furry. Kind, nice things are white. Red, white things are nice. All red things are kind. If Dave is nice and Dave is big then Dave is red. White things are nice. All white, furry things are red. If something is kind and red then it is round.
Charlie is not red.