The bear is blue. The bear is cold. The bear is round. If the bear is young and the bear is round then the bear is green. If the bear is blue then the bear is young. If someone is cold and blue then they are round.
The bear does not visit the bear.
@0: The bear is blue.[(triple1)] The bear is cold.[(triple2)] The bear is round.[(triple3 OR ((triple2 triple1) -> rule3))] @1: The bear is young.[(((triple1) -> rule2))] @2: The bear is green.[(((((triple1) -> rule2) triple3) -> rule1) OR ((((triple1) -> rule2) ((triple2 triple1) -> rule3)) -> rule1))]