Anne is furry. Bob is furry. If Bob is furry then Bob is rough. Kind things are quiet. If Bob is cold and Bob is kind then Bob is quiet. If Anne is rough and Anne is young then Anne is not kind. If Bob is white then Bob is not cold. If something is quiet and young then it is not rough. If something is rough then it is kind. If something is furry and not young then it is cold.
Anne is furry.
@0: Anne is furry.[(triple1)] Bob is furry.[(triple2)] @1: Bob is rough.[(((triple2) -> rule1))] @2: Bob is kind.[(((((triple2) -> rule1)) -> rule7))] @3: Bob is quiet.[(((((((triple2) -> rule1)) -> rule7)) -> rule2))]