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 not big.
@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))]