Anne is quiet. Anne is rough. Anne is smart. Anne is not white. Bob is not cold. Bob is furry. Bob is young. Dave is cold. Erin is furry. Erin is rough. Cold things are not rough. If something is white then it is quiet. Rough, white things are quiet. Young things are not cold. If something is cold and quiet then it is furry. If something is cold then it is white. If something is cold then it is smart. If something is not smart then it is quiet.
Erin is not smart.