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