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