Anne is furry. Anne is green. Anne is quiet. Anne is smart. Bob is white. Bob is young. Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is white. Harry is furry. Harry is green. Harry is quiet. Harry is smart. Harry is young. If Bob is furry and Bob is kind then Bob is green. If someone is white and not furry then they are quiet. If someone is not young then they are kind. If Bob is furry and Bob is not white then Bob is green. All kind, smart people are green. If Harry is young then Harry is white. All green, quiet people are smart. Quiet people are smart.
Charlie is smart.