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