Bob is blue. Bob is cold. Bob is quiet. Dave is cold. Dave is red. Erin is not blue. Erin is rough. All quiet, rough things are cold. All rough things are nice. All quiet things are not smart. All quiet, red things are nice. If something is blue and quiet then it is rough. If something is not cold and not smart then it is rough. If Dave is smart and Dave is not rough then Dave is quiet. If something is cold and not quiet then it is red.
Erin is smart.