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.
Harry is not kind.
@0: Charlie is rough.[(triple1)] Gary is red.[(triple2)] Harry is kind.[(triple3)] @1: Harry is green.[(((triple3) -> rule1))]