The bear is blue. The bear is green. The bear is kind. The bear is nice. The bear is round. Green, blue people are round. All nice people are green.
The bear is nice.
@0: The bear is blue.[(triple1)] The bear is green.[(triple2 OR ((triple4) -> rule2))] The bear is kind.[(triple3)] The bear is nice.[(triple4)] The bear is round.[(triple5 OR ((triple2 triple1) -> rule1) OR ((((triple4) -> rule2) triple1) -> rule1))]