The bear is green. Green, nice people are rough. All green people are round. If the bear is round and the bear is green then the bear is nice.
The bear does not chase the bear.
@0: The bear is green.[(triple1)] @1: The bear is round.[(((triple1) -> rule2))] @2: The bear is nice.[(((((triple1) -> rule2) triple1) -> rule3))] @3: The bear is rough.[(((triple1 ((((triple1) -> rule2) triple1) -> rule3)) -> rule1))]