Anne is big. Anne is cold. Anne is green. Anne is kind. Anne is quiet. Anne is rough. Anne is smart. Bob is cold. Bob is green. Bob is kind. Bob is quiet. Bob is rough. Dave is kind. Dave is quiet. Dave is rough. All cold, big things are kind. All cold things are quiet. Quiet, kind things are green.
Bob is smart.