Charlie is rough. Gary is red. Harry is kind. Kind people are green. All rough, red people are cold. If Gary is green then Gary is kind.
Charlie is kind.
@0: Charlie is rough.[(triple1)] Gary is red.[(triple2)] Harry is kind.[(triple3)] @1: Harry is green.[(((triple3) -> rule1))]