Bob is green. Bob is kind. Bob is red. Bob is young. Charlie is big. Charlie is green. Charlie is kind. Kind, young things are smart. Red, green things are furry. If Bob is furry then Bob is kind. All green, big things are kind. If Bob is green and Bob is big then Bob is red. If something is big and green then it is young. Smart, young things are furry. All red, green things are big.
Charlie is furry.