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