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 not 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)]