Gary is green. Harry is round. Round people are cold. If Gary is young and Gary is green then Gary is kind. Green people are round.
Gary is not kind.
@0: Gary is green.[(triple1)] Harry is round.[(triple2)] @1: Gary is round.[(((triple1) -> rule3))] Harry is cold.[(((triple2) -> rule1))] @2: Gary is cold.[(((((triple1) -> rule3)) -> rule1))]