The bald eagle is nice. The bear likes the rabbit. The rabbit visits the bear. The tiger is red. If something likes the rabbit then the rabbit visits the bear. If something is green then it likes the bear. If something visits the bear then the bear is green. If something likes the bear and the bear sees the rabbit then the bear visits the bald eagle. If something likes the bear and the bear sees the rabbit then the rabbit sees the bear. If something likes the bear then the bear is young.
The bear likes the bear.
@0: The bald eagle is nice.[(triple1)] The bear likes the rabbit.[(triple2)] The rabbit visits the bear.[(triple3 OR ((triple2) -> rule1))] The tiger is red.[(triple4)] @1: The bear is green.[(((triple3) -> rule3) OR ((((triple2) -> rule1)) -> rule3))] @2: The bear likes the bear.[(((((triple3) -> rule3)) -> rule2) OR ((((((triple2) -> rule1)) -> rule3)) -> rule2))] @3: The bear is young.[(((((((triple3) -> rule3)) -> rule2)) -> rule6) OR ((((((((triple2) -> rule1)) -> rule3)) -> rule2)) -> rule6))]