Charlie is blue. Charlie is green. Charlie is kind. Charlie is red. Charlie is round. Charlie is young. Dave is green. Dave is round. Dave is smart. Harry is blue. Harry is green. Harry is kind. Harry is red. Harry is round. Harry is smart. Harry is young. Green, round things are young. All red things are blue.
Charlie is not smart.