Bob is green. Bob is kind. Bob is nice. Charlie is nice. Charlie is rough. Dave is big. Dave is not green. Dave is nice. Dave is rough. Dave is not smart. Erin is blue. Green, blue people are rough. All blue, nice people are smart. Smart, blue people are green. If someone is kind and blue then they are nice. If someone is blue then they are kind. If someone is green and nice then they are smart.
Erin is nice.