Bob is big. Bob is green. Bob is red. Bob is rough. Bob is young. Charlie is big. Charlie is furry. Charlie is green. Charlie is red. Charlie is rough. Charlie is smart. Charlie is young. If something is furry then it is smart. If Bob is furry and Bob is young then Bob is red. Red, green things are furry.
Bob is not smart.