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