Anne is furry. Anne is nice. Anne is young. Dave is big. Dave is furry. Dave is kind. Dave is smart. Dave is young. Harry is big. Harry is furry. Harry is green. Harry is kind. Harry is nice. Harry is smart. Harry is young. All nice things are green. All green, young things are smart. All green things are smart. If Harry is green and Harry is furry then Harry is young. If something is big then it is young. All smart things are kind. If something is nice then it is young. All furry things are nice.
Dave is green.