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