The bear is big. The bear is round. The bear is young. All green things are kind. Round things are green.
The bear does not like the bear.
@0: The bear is big.[(triple1)] The bear is round.[(triple2)] The bear is young.[(triple3)] @1: The bear is green.[(((triple2) -> rule2))] @2: The bear is kind.[(((((triple2) -> rule2)) -> rule1))]