Anne is nice. Bob is white. Charlie is furry. Erin is big. If something is white then it is rough. Big things are round. Rough things are big.
Anne is not big.
@0: Anne is nice.[(triple1)] Bob is white.[(triple2)] Charlie is furry.[(triple3)] Erin is big.[(triple4)] @1: Bob is rough.[(((triple2) -> rule1))] Erin is round.[(((triple4) -> rule2))] @2: Bob is big.[(((((triple2) -> rule1)) -> rule3))] @3: Bob is round.[(((((((triple2) -> rule1)) -> rule3)) -> rule2))]