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