The bear is blue. The bear is green. The bear is red. The bear is rough. The bear is young. Rough things are green.
The bear does not eat the bear.
@0: The bear is blue.[(triple1)] The bear is green.[(triple2 OR ((triple4) -> rule1))] The bear is red.[(triple3)] The bear is rough.[(triple4)] The bear is young.[(triple5)]