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 does not eat the bear.
@0: The bear is green.[(triple1)] The bear is rough.[(triple2)] The bear is young.[(triple3)] @1: The bear is not blue.[(((triple3) -> rule1))]