Gary is kind. Kind, young things are big. If Gary is young and Gary is rough then Gary is furry. Kind things are young.
Gary is not big.
@0: Gary is kind.[(triple1)] @1: Gary is young.[(((triple1) -> rule3))] @2: Gary is big.[(((triple1 ((triple1) -> rule3)) -> rule1))]