Anne is nice. Anne is rough. Charlie is cold. Charlie is nice. Charlie is smart. Dave is green. Dave is rough. Smart things are green. Nice, rough things are green. All big, cold things are round.
Dave is smart.