Anne is blue. Charlie is red. Dave is rough. Erin is red. Red people are round. All rough, quiet people are round. All red, quiet people are young. Red people are round. All rough people are red. If Anne is blue then Anne is red. All green people are quiet. Rough, green people are young.
Erin is not quiet.