The bear sees the mouse. The dog sees the mouse. The mouse eats the bear. If the bear is blue then the bear sees the dog. If someone eats the bear then they eat the dog. If someone needs the dog then they see the dog. If someone eats the dog then they need the bear. If someone needs the bear then they eat the mouse. If someone sees the dog and the dog is green then the dog needs the mouse.
The mouse eats the mouse.
@0: The bear sees the mouse.[(triple1)] The dog sees the mouse.[(triple2)] The mouse eats the bear.[(triple3)] @1: The mouse eats the dog.[(((triple3) -> rule2))] @2: The mouse needs the bear.[(((((triple3) -> rule2)) -> rule4))] @3: The mouse eats the mouse.[(((((((triple3) -> rule2)) -> rule4)) -> rule5))]