Anne is furry. Anne is green. Anne is kind. Anne is smart. Anne is white. Bob is kind. Dave is green. Dave is kind. Dave is round. Dave is smart. Dave is white. Gary is blue. Gary is green. Gary is round. Gary is smart. Gary is white. Blue, smart things are furry. Furry things are kind. If something is round then it is smart.
Bob is smart.