The bear is big. The bear is green. The bear is kind. The bear is nice. The bear is red. If the bear is red and the bear is green then the bear is big.
The bear needs the bear.
@0: The bear is big.[(triple1 OR ((triple5 triple2) -> rule1))] The bear is green.[(triple2)] The bear is kind.[(triple3)] The bear is nice.[(triple4)] The bear is red.[(triple5)]