Bob is quiet. Quiet things are furry. Furry things are blue. All red things are young. If something is blue and red then it is quiet. If something is red then it is kind. If something is blue then it is kind.
Bob is furry.
@0: Bob is quiet.[(triple1)] @1: Bob is furry.[(((triple1) -> rule1))] @2: Bob is blue.[(((((triple1) -> rule1)) -> rule2))] @3: Bob is kind.[(((((((triple1) -> rule1)) -> rule2)) -> rule6))]