Bob is quiet. Harry is quiet. Harry is round. If Harry is round then Harry is big. If something is nice and round then it is furry. All rough things are nice. Quiet, big things are rough. Nice things are big. Nice things are round.
Bob is rough.
@0: Bob is quiet.[(triple1)] Harry is quiet.[(triple2)] Harry is round.[(triple3)] @1: Harry is big.[(((triple3) -> rule1))] @2: Harry is rough.[(((triple2 ((triple3) -> rule1)) -> rule4))] @3: Harry is nice.[(((((triple2 ((triple3) -> rule1)) -> rule4)) -> rule3))] @4: Harry is furry.[(((((((triple2 ((triple3) -> rule1)) -> rule4)) -> rule3) triple3) -> rule2))]