Charlie is green. Charlie is rough. Charlie is young. Dave is green. Dave is quiet. Dave is red. Dave is rough. Dave is smart. Dave is young. Erin is rough. If something is quiet and rough then it is young. If something is rough then it is red. All red things are green. If Dave is quiet then Dave is smart. All young things are quiet. Red things are young. Quiet things are rough. All quiet things are green.
Erin is quiet.