Charlie is blue. Charlie is green. Charlie is kind. Charlie is red. Charlie is rough. Charlie is round. Harry is green. Harry is rough. Harry is round. Harry is smart. Green things are rough. Rough, green things are kind. If something is round then it is red. If Harry is rough then Harry is round. All red things are blue. All red, kind things are round.
Harry is not smart.