The bear is big. The bear is kind. The bear is not nice. The bear is round. The bear is young. If something is big then it is round.
The bear chases the bear.
@0: The bear is big.[(triple1)] The bear is kind.[(triple2)] The bear is not nice.[(triple3)] The bear is round.[(triple4 OR ((triple1) -> rule1))] The bear is young.[(triple5)]