The bear is not big. The bear is blue. The bear is green. The bear is kind. The bear is rough. If something is blue and not kind then it is not rough. Green things are blue.
The bear chases the bear.
@0: The bear is blue.[(triple2 OR ((triple3) -> rule2))] The bear is green.[(triple3)] The bear is kind.[(triple4)] The bear is not big.[(triple1)] The bear is rough.[(triple5)]