Bob is furry. Bob is green. Bob is kind. Bob is quiet. Bob is rough. Bob is smart. Charlie is furry. Charlie is green. Charlie is kind. Charlie is rough. Charlie is smart. Charlie is white. If something is furry and white then it is smart. If something is furry then it is smart. If Charlie is furry then Charlie is quiet. Rough things are kind. All kind, smart things are quiet. If something is kind and rough then it is green.
Bob is not green.