Erin is not blue. Harry is not blue. Cold, blue things are smart. All quiet things are not rough. Rough, cold things are not big. If something is not quiet then it is green. Smart things are not big. Green things are not quiet. If something is rough and not big then it is smart. All smart, rough things are not green.
Erin is smart.