The bear is round. If something is rough then it is nice. All round, kind things are young. If something is round then it is kind.
The bear is young.
@0: The bear is round.[(triple1)] @1: The bear is kind.[(((triple1) -> rule3))] @2: The bear is young.[(((triple1 ((triple1) -> rule3)) -> rule2))]