The bear is green. The bear is kind. The bear is red. The bear is rough. The bear is round. Rough, kind things are round. All round, green things are rough. Green, red things are rough.
The bear does not need the bear.
@0: The bear is green.[(triple1)] The bear is kind.[(triple2)] The bear is red.[(triple3)] The bear is rough.[(triple4 OR ((triple1 triple3) -> rule3) OR ((triple5 triple1) -> rule2))] The bear is round.[(triple5 OR ((triple4 triple2) -> rule1) OR ((((triple1 triple3) -> rule3) triple2) -> rule1))]