The bear is big. The bear is blue. The bear is kind. The bear is red. The bear is round. All kind people are big.
The bear does not chase the bear.
@0: The bear is big.[(triple1 OR ((triple3) -> rule1))] The bear is blue.[(triple2)] The bear is kind.[(triple3)] The bear is red.[(triple4)] The bear is round.[(triple5)]