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