The bear is blue. The bear is green. The bear is kind. The bear is not nice. The bear is not rough. If someone is green then they are kind. If someone is rough and not kind then they are not blue.
The bear does not like the bear.
@0: The bear is blue.[(triple1)] The bear is green.[(triple2)] The bear is kind.[(triple3 OR ((triple2) -> rule1))] The bear is not nice.[(triple4)] The bear is not rough.[(triple5)]