The bear is young. Round things are big. All young things are round. If something is big then it is kind.
The bear likes the bear.
@0: The bear is young.[(triple1)] @1: The bear is round.[(((triple1) -> rule2))] @2: The bear is big.[(((((triple1) -> rule2)) -> rule1))] @3: The bear is kind.[(((((((triple1) -> rule2)) -> rule1)) -> rule3))]