Anne is furry. Anne is not green. Anne is kind. Anne is round. Anne is not smart. Anne is young. Dave is furry. Dave is green. Dave is nice. Dave is not round. Dave is smart. Dave is young. Erin is green. Erin is nice. Erin is round. If someone is young then they are nice. If Anne is kind and Anne is smart then Anne is not furry. If Dave is not green and Dave is not furry then Dave is round.
Dave is round.