The bear is red. The bear visits the rabbit. The rabbit needs the bear. If someone visits the rabbit then they are red. If someone eats the rabbit then the rabbit does not visit the bear. If someone needs the bear then the bear eats the rabbit. If the bear does not visit the rabbit then the bear does not eat the rabbit. If the bear visits the rabbit then the rabbit is young. If the rabbit does not visit the bear then the rabbit eats the bear.
The bear is green.
@0: The bear is red.[(triple1 OR ((triple2) -> rule1))] The bear visits the rabbit.[(triple2)] The rabbit needs the bear.[(triple3)] @1: The bear eats the rabbit.[(((triple3) -> rule3))] The rabbit is young.[(((triple2) -> rule5))] @2: The rabbit does not visit the bear.[(((((triple3) -> rule3)) -> rule2))] @3: The rabbit eats the bear.[(((((((triple3) -> rule3)) -> rule2)) -> rule6))]