Bob is big. Bob is red. Harry is red. If something is red then it is rough. If something is rough and big then it is white. If Bob is young then Bob is green.
Bob is big.
@0: Bob is big.[(triple1)] Bob is red.[(triple2)] Harry is red.[(triple3)] @1: Bob is rough.[(((triple2) -> rule1))] Harry is rough.[(((triple3) -> rule1))] @2: Bob is white.[(((((triple2) -> rule1) triple1) -> rule2))]