Charlie is smart. Dave is green. Erin is green. Erin is quiet. Erin is smart. Harry is red. Harry is smart. If Dave is rough then Dave is smart. Smart, blue people are big. If someone is smart and quiet then they are blue. Smart people are green. All smart people are blue. If someone is big then they are quiet. Green people are rough. If Charlie is not rough then Charlie is not blue. If someone is not blue then they are not rough.
Erin is not red.