The bear is blue. The dog chases the bear. The dog chases the mouse. The dog eats the mouse. The mouse eats the dog. The mouse is blue. The mouse visits the bear. If someone is blue then they eat the bear. If someone visits the bear and the bear eats the mouse then the bear chases the mouse. If someone eats the bear then the bear eats the mouse.
The bear does not eat the bear.
@0: The bear is blue.[(triple1)] The dog chases the bear.[(triple2)] The dog chases the mouse.[(triple3)] The dog eats the mouse.[(triple4)] The mouse eats the dog.[(triple5)] The mouse is blue.[(triple6)] The mouse visits the bear.[(triple7)] @1: The bear eats the bear.[(((triple1) -> rule1))] The mouse eats the bear.[(((triple6) -> rule1))] @2: The bear eats the mouse.[(((((triple1) -> rule1)) -> rule3) OR ((((triple6) -> rule1)) -> rule3))] @3: The bear chases the mouse.[(((triple7 ((((triple1) -> rule1)) -> rule3)) -> rule2) OR ((triple7 ((((triple6) -> rule1)) -> rule3)) -> rule2))]