The bear is young. All young things are red. All young, red things are round. All red, round things are kind. If something is kind and cold then it is red. If something is young and kind then it is red. If the bear is kind then the bear is round. If something is cold and red then it is kind. Red, kind things are young.
The bear does not need the bear.
@0: The bear is young.[(triple1)] @1: The bear is red.[(((triple1) -> rule1))] @2: The bear is round.[(((triple1 ((triple1) -> rule1)) -> rule2))] @3: The bear is kind.[(((((triple1) -> rule1) ((triple1 ((triple1) -> rule1)) -> rule2)) -> rule3))]