The bear is blue. The bear is not green. The bear is nice. The bear is rough. The bear is young. All young things are blue.
The bear is rough.
@0: The bear is blue.[(triple1 OR ((triple5) -> rule1))] The bear is nice.[(triple3)] The bear is not green.[(triple2)] The bear is rough.[(triple4)] The bear is young.[(triple5)]