The bear is blue. The bear is cold. The bear is green. The bear is nice. The bear is young. Young things are nice.
The bear does not need the bear.
@0: The bear is blue.[(triple1)] The bear is cold.[(triple2)] The bear is green.[(triple3)] The bear is nice.[(triple4 OR ((triple5) -> rule1))] The bear is young.[(triple5)]