Gary is white. All white, big things are round. All big, round things are cold. White things are big.
Gary is white.
@0: Gary is white.[(triple1)] @1: Gary is big.[(((triple1) -> rule3))] @2: Gary is round.[(((triple1 ((triple1) -> rule3)) -> rule1))] @3: Gary is cold.[(((((triple1) -> rule3) ((triple1 ((triple1) -> rule3)) -> rule1)) -> rule2))]