The bear is green. The bear is not kind. The bear is red. The bear is not rough. The bear is not round. All rough people are green. If someone is rough and not round then they are not kind. All rough, red people are not kind. If someone is red and not round then they are not rough. All rough people are not red. If the bear is rough and the bear is kind then the bear is red.
The bear is kind.
@0: The bear is green.[(triple1)] The bear is not kind.[(triple2)] The bear is not rough.[(triple4 OR ((triple3 triple5) -> rule4))] The bear is not round.[(triple5)] The bear is red.[(triple3)]