The bear is big. The bear is green. The bear is young. If something is green then it is big.
The bear does not chase the bear.
@0: The bear is big.[(triple1 OR ((triple2) -> rule1))] The bear is green.[(triple2)] The bear is young.[(triple3)]