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