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