The bear is green. The bear is rough. The bear is young. Young people are not blue. If someone is kind then they are rough.
The bear is not rough.
@0: The bear is green.[(triple1)] The bear is rough.[(triple2)] The bear is young.[(triple3)] @1: The bear is not blue.[(((triple3) -> rule1))]