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