The bear is big. The bear is kind. The bear is nice. The bear is round. The bear is young. Young, nice people are round.
The bear does not like the bear.
@0: The bear is big.[(triple1)] The bear is kind.[(triple2)] The bear is nice.[(triple3)] The bear is round.[(triple4 OR ((triple5 triple3) -> rule1))] The bear is young.[(triple5)]