Anne is nice. Bob is not blue. Charlie is rough. Dave is smart. Blue, rough things are not nice. If Anne is blue then Anne is quiet. All quiet things are not rough. All rough, blue things are big. If Bob is rough and Bob is not quiet then Bob is nice. All rough things are cold. If Anne is cold and Anne is big then Anne is rough. If something is cold then it is blue.
Charlie is not big.