Bob is green. Bob is red. Bob is smart. Bob is white. Charlie is green. Charlie is nice. Charlie is red. Dave is red. Dave is rough. Dave is white. Erin is big. Erin is smart. White, smart things are green. White, nice things are big. If something is white then it is smart.
Erin is smart.