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