Charlie is cold. Charlie is green. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is round. Charlie is smart. Harry is cold. Harry is green. Harry is quiet. Harry is rough. Harry is round. All green, red things are quiet. If something is red and green then it is smart. All red, round things are cold. Rough, round things are quiet. If something is green and smart then it is red. Cold, quiet things are smart.
Charlie is not smart.