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 is not round.
@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)]