The bear is big. The bear is cold. The bear is nice. The bear is rough. The bear is round. Rough people are cold.
The bear does not like the bear.
@0: The bear is big.[(triple1)] The bear is cold.[(triple2 OR ((triple4) -> rule1))] The bear is nice.[(triple3)] The bear is rough.[(triple4)] The bear is round.[(triple5)]