Anne is cold. Anne is furry. Anne is green. Anne is kind. Anne is smart. Anne is white. Bob is cold. Bob is furry. Bob is round. Bob is smart. Charlie is furry. Charlie is green. Charlie is kind. Charlie is round. Charlie is white. If something is kind and round then it is green. All smart things are furry. If something is cold then it is kind.
Charlie is smart.