Anne is big. Anne is green. Charlie is green. Charlie is kind. Harry is big. Harry is nice. Harry is red. If something is big and green then it is smart. All smart things are big. If something is nice and furry then it is green. Big things are green. Nice things are kind. If something is furry and red then it is green.
Charlie is smart.