The bear is kind. The bear is not nice. The bear is rough. If the bear is cold then the bear is not kind. If something is rough and not cold then it is not kind. If the bear is kind then the bear is not nice.
The bear is not nice.
@0: The bear is kind.[(triple1)] The bear is not nice.[(triple2 OR ((triple1) -> rule3))] The bear is rough.[(triple3)]