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 is not round.
@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)]