Anne is blue. Charlie is cold. Harry is cold. Rough people are green. All rough, blue people are cold. All cold people are rough.
Harry is not rough.
@0: Anne is blue.[(triple1)] Charlie is cold.[(triple2)] Harry is cold.[(triple3)] @1: Charlie is rough.[(((triple2) -> rule3))] Harry is rough.[(((triple3) -> rule3))] @2: Charlie is green.[(((((triple2) -> rule3)) -> rule1))] Harry is green.[(((((triple3) -> rule3)) -> rule1))]