Charlie is blue. Charlie is quiet. Charlie is young. Smart, quiet things are young. If Charlie is green then Charlie is cold. If Charlie is quiet and Charlie is cold then Charlie is green. If Charlie is young then Charlie is smart. If Charlie is green then Charlie is quiet. All smart things are green.
Charlie is smart.