Bob is kind. Bob is rough. Erin is big. If Erin is big then Erin is green. All green, kind things are white. Green things are kind.
Bob is rough.
@0: Bob is kind.[(triple1)] Bob is rough.[(triple2)] Erin is big.[(triple3)] @1: Erin is green.[(((triple3) -> rule1))] @2: Erin is kind.[(((((triple3) -> rule1)) -> rule3))] @3: Erin is white.[(((((triple3) -> rule1) ((((triple3) -> rule1)) -> rule3)) -> rule2))]