Erin is young. Harry is not kind. Green people are white. All young people are smart. If Erin is smart then Erin is green.
Erin is nice.
@0: Erin is young.[(triple1)] Harry is not kind.[(triple2)] @1: Erin is smart.[(((triple1) -> rule2))] @2: Erin is green.[(((((triple1) -> rule2)) -> rule3))] @3: Erin is white.[(((((((triple1) -> rule2)) -> rule3)) -> rule1))]