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 not nice.
@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))]