The bear is not kind. The bear is rough. The bear is round. All big, round people are blue. If someone is rough and not kind then they are round.
The bear is not blue.
@0: The bear is not kind.[(triple1)] The bear is rough.[(triple2)] The bear is round.[(triple3 OR ((triple2 triple1) -> rule2))]