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