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 is red.
@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))]