Dave is rough. Dave is smart. Dave is white. Erin is big. Erin is quiet. Erin is rough. Erin is white. Big people are white. Quiet people are smart. All smart, green people are white. All quiet, green people are red. If someone is rough and smart then they are big. If someone is red and rough then they are quiet. If someone is big then they are green. If someone is big and green then they are quiet.
Erin is not rough.