Bob is quiet. Bob is rough. Bob is round. White things are round. If something is round then it is not white. All white things are not quiet. If something is quiet and not white then it is blue. If something is white then it is furry. If something is blue and round then it is furry.
Bob is furry.
@0: Bob is quiet.[(triple1)] Bob is rough.[(triple2)] Bob is round.[(triple3)] @1: Bob is not white.[(((triple3) -> rule2))] @2: Bob is blue.[(((triple1 ((triple3) -> rule2)) -> rule4))] @3: Bob is furry.[(((((triple1 ((triple3) -> rule2)) -> rule4) triple3) -> rule6))]