The bear is big. The bear is cold. The bear is nice. The bear is rough. The bear is young. If the bear is nice then the bear is rough. If the bear is young then the bear is big.
The bear likes the bear.
@0: The bear is big.[(triple1 OR ((triple5) -> rule2))] The bear is cold.[(triple2)] The bear is nice.[(triple3)] The bear is rough.[(triple4 OR ((triple3) -> rule1))] The bear is young.[(triple5)]