The bear is blue. The bear is not green. The bear is young. If the bear is young then the bear is nice. If the bear is blue then the bear is red.
The bear is not green.
@0: The bear is blue.[(triple1)] The bear is not green.[(triple2)] The bear is young.[(triple3)] @1: The bear is nice.[(((triple3) -> rule1))] The bear is red.[(((triple1) -> rule2))]