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