Bob is big. Gary is green. All green things are nice. If something is nice then it is young. If something is young then it is blue.
Bob is young.
@0: Bob is big.[(triple1)] Gary is green.[(triple2)] @1: Gary is nice.[(((triple2) -> rule1))] @2: Gary is young.[(((((triple2) -> rule1)) -> rule2))] @3: Gary is blue.[(((((((triple2) -> rule1)) -> rule2)) -> rule3))]