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.
Harry is not rough.
@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))]