Bob is cold. Bob is furry. Bob is green. Bob is rough. Bob is white. Erin is green. Erin is quiet. Erin is rough. Erin is smart. Erin is not white. All quiet things are rough. If Bob is rough then Bob is green. All white things are quiet. Cold things are furry. If Erin is not smart then Erin is rough. If Bob is cold and Bob is not smart then Bob is rough.
Bob is not quiet.