Anne is big. Anne is green. Anne is quiet. Charlie is green. Charlie is rough. Charlie is smart. Dave is green. Dave is red. Dave is rough. Erin is big. Erin is quiet. Erin is smart. If Charlie is furry then Charlie is big. If someone is rough and red then they are green. Big, smart people are red.
Erin is not red.