The bear is cold. The bear is nice. The bear is red. The bear is rough. The bear is young. All cold, rough people are nice. Nice people are rough. All cold people are rough.
The bear chases the bear.
@0: The bear is cold.[(triple1)] The bear is nice.[(triple2 OR ((triple1 triple4) -> rule1) OR ((triple1 ((triple1) -> rule3)) -> rule1))] The bear is red.[(triple3)] The bear is rough.[(triple4 OR ((triple1) -> rule3) OR ((triple2) -> rule2))] The bear is young.[(triple5)]