Gary is rough. Harry is kind. If Gary is round then Gary is big. All cold people are round. If someone is rough then they are cold.
Gary is cold.
@0: Gary is rough.[(triple1)] Harry is kind.[(triple2)] @1: Gary is cold.[(((triple1) -> rule3))] @2: Gary is round.[(((((triple1) -> rule3)) -> rule2))] @3: Gary is big.[(((((((triple1) -> rule3)) -> rule2)) -> rule1))]