Anne is smart. Charlie is big. Charlie is green. Charlie is kind. Charlie is nice. Charlie is red. Charlie is rough. Charlie is smart. Dave is kind. Harry is big. Harry is green. Harry is kind. Harry is nice. Harry is red. Harry is rough. Harry is smart. All smart things are big. All big things are green. Rough, smart things are nice.
Dave is not nice.