Gary is kind. If Gary is red then Gary is nice. If someone is kind then they are red.
Gary is not big.
@0: Gary is kind.[(triple1)] @1: Gary is red.[(((triple1) -> rule2))] @2: Gary is nice.[(((((triple1) -> rule2)) -> rule1))]