Bob is green. Charlie is smart. Dave is smart. Gary is furry. If something is nice then it is smart. If Dave is not quiet then Dave is white. Smart, quiet things are not white. If Bob is smart and Bob is not furry then Bob is green. Green, nice things are white. Kind things are white. If something is nice and not quiet then it is white. If something is nice then it is kind.
Bob is smart.