The bear is big. The bear is blue. The bear is green. The bear is rough. The bear is young. If the bear is young and the bear is not green then the bear is rough. If something is young and not big then it is rough. If something is big then it is rough.
The bear is not big.
@0: The bear is big.[(triple1)] The bear is blue.[(triple2)] The bear is green.[(triple3)] The bear is rough.[(triple4 OR ((triple1) -> rule3))] The bear is young.[(triple5)]