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 is young.
@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)]