Bob is furry. Dave is rough. Erin is young. Fiona is furry. If Fiona is furry then Fiona is quiet. If something is rough then it is green. Quiet things are rough.
Bob is green.
@0: Bob is furry.[(triple1)] Dave is rough.[(triple2)] Erin is young.[(triple3)] Fiona is furry.[(triple4)] @1: Dave is green.[(((triple2) -> rule2))] Fiona is quiet.[(((triple4) -> rule1))] @2: Fiona is rough.[(((((triple4) -> rule1)) -> rule3))] @3: Fiona is green.[(((((((triple4) -> rule1)) -> rule3)) -> rule2))]