The bear is big. The bear is green. The bear is kind. The bear is not red. The bear is young. Green people are not red. Red, big people are green. Green people are young.
The bear does not visit the bear.
@0: The bear is big.[(triple1)] The bear is green.[(triple2)] The bear is kind.[(triple3)] The bear is not red.[(triple4 OR ((triple2) -> rule1))] The bear is young.[(triple5 OR ((triple2) -> rule3))]