The bear is young. If something is round then it is kind. All red things are blue. If something is blue and red then it is kind. All blue, young things are red. All round, blue things are red. Young things are blue.
The bear likes the bear.
@0: The bear is young.[(triple1)] @1: The bear is blue.[(((triple1) -> rule6))] @2: The bear is red.[(((((triple1) -> rule6) triple1) -> rule4))] @3: The bear is kind.[(((((triple1) -> rule6) ((((triple1) -> rule6) triple1) -> rule4)) -> rule3))]