Anne is big. Anne is blue. Anne is green. Anne is quiet. Anne is rough. Anne is round. Anne is smart. Dave is big. Dave is blue. Dave is green. Dave is quiet. Dave is rough. Dave is round. Dave is smart. Erin is big. Erin is round. If Anne is green then Anne is big. All round people are smart. Rough people are green. All big people are blue. If someone is smart and green then they are round. Blue, big people are rough.
Erin is green.