Charlie is blue. Charlie is green. Charlie is rough. Charlie is smart. Dave is blue. Dave is green. Dave is rough. Dave is young. Harry is rough. Harry is young. If Charlie is rough and Charlie is smart then Charlie is green.
Charlie is smart.