The bear is blue. The bear is green. The bear is nice. The bear is red. The bear is young. Blue things are green. All red, nice things are green. Green, red things are young.
The bear visits the bear.
@0: The bear is blue.[(triple1)] The bear is green.[(triple2 OR ((triple1) -> rule1) OR ((triple4 triple3) -> rule2))] The bear is nice.[(triple3)] The bear is red.[(triple4)] The bear is young.[(triple5 OR ((triple2 triple4) -> rule3) OR ((((triple1) -> rule1) triple4) -> rule3) OR ((((triple4 triple3) -> rule2) triple4) -> rule3))]