Erin is nice. Fiona is red. Harry is green. If something is nice then it is kind. Kind things are green. If something is green then it is rough.
Harry is kind.
@0: Erin is nice.[(triple1)] Fiona is red.[(triple2)] Harry is green.[(triple3)] @1: Erin is kind.[(((triple1) -> rule1))] Harry is rough.[(((triple3) -> rule3))] @2: Erin is green.[(((((triple1) -> rule1)) -> rule2))] @3: Erin is rough.[(((((((triple1) -> rule1)) -> rule2)) -> rule3))]