The bear is red. If something is red then it is round. If something is young and round then it is blue. Round things are young.
The bear visits the bear.
@0: The bear is red.[(triple1)] @1: The bear is round.[(((triple1) -> rule1))] @2: The bear is young.[(((((triple1) -> rule1)) -> rule3))] @3: The bear is blue.[(((((((triple1) -> rule1)) -> rule3) ((triple1) -> rule1)) -> rule2))]