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.
Erin is not white.
@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))]