Gary is white. If Gary is white then Gary is big. If someone is big then they are green.
Gary is young.
@0: Gary is white.[(triple1)] @1: Gary is big.[(((triple1) -> rule1))] @2: Gary is green.[(((((triple1) -> rule1)) -> rule2))]