Charlie is big. Charlie is cold. Charlie is nice. Charlie is rough. Dave is cold. Dave is smart. Erin is cold. Erin is kind. Harry is kind. Harry is smart. If Charlie is rough then Charlie is big. Smart things are big. All kind things are green. If something is big then it is nice. If Charlie is rough then Charlie is big. All green, kind things are nice.
Erin is not smart.