Bob is young. Dave is kind. Erin is green. If Dave is green and Dave is big then Dave is smart. If Bob is red and Bob is smart then Bob is not green. If someone is smart and not red then they are not kind. If someone is not rough then they are young. If Bob is young then Bob is kind. If someone is big and not young then they are not red. If someone is not smart then they are not rough. If someone is not young then they are not smart.
Erin is green.