Anne is big. Charlie is young. Fiona is nice. If Charlie is quiet then Charlie is kind. All young things are quiet. If something is big then it is quiet. All young, kind things are smart. All nice things are big. Quiet, kind things are smart. All smart things are green. All young, big things are nice.
Charlie is smart.