The bear is big. The bear is green. The bear is nice. The bear is rough. The bear is young. Rough, green things are young. If something is big and rough then it is green.
The bear does not eat the bear.
@0: The bear is big.[(triple1)] The bear is green.[(triple2 OR ((triple1 triple4) -> rule2))] The bear is nice.[(triple3)] The bear is rough.[(triple4)] The bear is young.[(triple5 OR ((triple4 triple2) -> rule1) OR ((triple4 ((triple1 triple4) -> rule2)) -> rule1))]