Bob is blue. Bob is round. Bob is white. All round people are big. All green, white people are nice. All big people are green.
Bob is big.
@0: Bob is blue.[(triple1)] Bob is round.[(triple2)] Bob is white.[(triple3)] @1: Bob is big.[(((triple2) -> rule1))] @2: Bob is green.[(((((triple2) -> rule1)) -> rule3))] @3: Bob is nice.[(((((((triple2) -> rule1)) -> rule3) triple3) -> rule2))]