Anne is furry. Anne is kind. Anne is red. Anne is smart. Charlie is furry. Charlie is green. Charlie is nice. Charlie is red. Charlie is smart. Dave is blue. Dave is furry. Dave is green. Dave is kind. Dave is smart. Fiona is furry. Fiona is red. If Fiona is blue then Fiona is smart. All blue, smart people are nice. If Dave is kind then Dave is nice. If Anne is kind and Anne is nice then Anne is furry. Furry, red people are blue. Green people are blue. Green, red people are furry. Blue people are red.
Anne is not green.