The bear is kind. The bear is nice. The bear is not red. The bear is rough. The bear is young. If something is young then it is kind. If the bear is young then the bear is not red. If the bear is rough and the bear is not nice then the bear is young.
The bear is not rough.
@0: The bear is kind.[(triple1 OR ((triple5) -> rule1))] The bear is nice.[(triple2)] The bear is not red.[(triple3 OR ((triple5) -> rule2))] The bear is rough.[(triple4)] The bear is young.[(triple5)]