The bear is big. The bear is kind. The bear is nice. If the bear is big then the bear is green. All nice people are green. All kind, green people are big.
The bear does not visit the bear.
@0: The bear is big.[(triple1 OR ((triple2 ((triple3) -> rule2)) -> rule3))] The bear is kind.[(triple2)] The bear is nice.[(triple3)] @1: The bear is green.[(((triple1) -> rule1) OR ((triple3) -> rule2))]