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