Anne is furry. Anne is round. Dave is smart. All green things are young. If something is smart then it is furry. If Dave is smart and Dave is furry then Dave is green. If something is round and not kind then it is young. All smart, young things are big. Round, green things are not smart.
Dave is green.