Anne is furry. Anne is round. Anne is smart. Anne is young. Charlie is furry. Charlie is rough. Charlie is smart. Dave is green. Dave is rough. Harry is smart. If Dave is green and Dave is not young then Dave is round.
Dave is smart.