Bob is big. Bob is green. Bob is kind. Bob is nice. Bob is white. Charlie is big. Charlie is furry. Charlie is green. Charlie is kind. Charlie is nice. Charlie is smart. Charlie is white. Harry is big. Harry is green. Harry is nice. Harry is smart. Kind, big things are furry. All kind, white things are green. All green things are kind. Nice, green things are smart. If Bob is big and Bob is white then Bob is smart. If something is furry then it is white.
Bob is not smart.