The bear is big. If the bear is round and the bear is big then the bear is young. Big things are round. All round, big things are rough. Round things are big. Rough things are big. Young things are blue.
The bear does not like the bear.
@0: The bear is big.[(triple1)] @1: The bear is round.[(((triple1) -> rule2))] @2: The bear is rough.[(((((triple1) -> rule2) triple1) -> rule3))] The bear is young.[(((((triple1) -> rule2) triple1) -> rule1))] @3: The bear is blue.[(((((((triple1) -> rule2) triple1) -> rule1)) -> rule6))]