Anne is kind. Anne is red. Bob is cold. If Bob is white and Bob is smart then Bob is cold. If Bob is smart and Bob is not quiet then Bob is furry. If Anne is kind and Anne is red then Anne is not smart. All quiet things are smart. All quiet things are white. If Anne is white and Anne is not smart then Anne is cold. If Bob is not cold then Bob is white. If something is cold and not white then it is red.
Anne is furry.