Anne is blue. Anne is furry. Anne is green. Anne is kind. Anne is red. Anne is round. Anne is smart. Bob is blue. Bob is furry. Bob is not round. Bob is smart. Charlie is blue. Charlie is furry. Charlie is kind. Charlie is round. All round, red people are kind. If someone is red then they are furry. Green, kind people are round. If Bob is red then Bob is round. If someone is not red and not blue then they are green. If someone is furry then they are smart.
Anne is not red.