The bear is blue. The bear is kind. The bear is nice. The bear is red. The bear is round. Kind things are nice.
The bear does not eat the bear.
@0: The bear is blue.[(triple1)] The bear is kind.[(triple2)] The bear is nice.[(triple3 OR ((triple2) -> rule1))] The bear is red.[(triple4)] The bear is round.[(triple5)]