The bear is blue. The bear is green. The bear is kind. The bear is red. The bear is rough. If the bear is rough then the bear is green. Kind things are green. Blue, rough things are kind.
The bear visits the bear.
@0: The bear is blue.[(triple1)] The bear is green.[(triple2 OR ((triple3) -> rule2) OR ((triple5) -> rule1) OR ((((triple1 triple5) -> rule3)) -> rule2))] The bear is kind.[(triple3 OR ((triple1 triple5) -> rule3))] The bear is red.[(triple4)] The bear is rough.[(triple5)]