Anne is furry. Anne is green. Anne is kind. Anne is quiet. Anne is red. Anne is round. Anne is smart. Dave is furry. Dave is green. Dave is kind. Dave is red. Dave is smart. If Dave is green and Dave is smart then Dave is quiet. Red people are smart. All kind people are round. If someone is green then they are furry. Smart people are kind. Green, red people are smart.
Anne is red.