Bob is round. Dave is furry. Dave is nice. Erin is white. Erin is young. Harry is green. Harry is round. All white people are young. If someone is round and nice then they are smart. All round people are smart. If someone is young then they are green. All smart people are round. If Dave is green then Dave is smart. If Dave is furry then Dave is white.
Dave is smart.