Anne is furry. Anne is nice. Anne is round. Anne is smart. Dave is blue. Dave is furry. Dave is green. Dave is kind. Dave is nice. Dave is round. Dave is smart. Erin is furry. Erin is kind. Erin is nice. Erin is round. Erin is smart. If something is green and round then it is blue. All smart things are green.
Anne is blue.