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