The bear eats the mouse. The mouse chases the bear. If something is green then it is young. If something chases the mouse then it is young. If the bear chases the mouse and the bear is green then the bear likes the mouse. If something likes the bear then the bear likes the mouse. If something likes the bear then the bear is green. If something chases the bear then it likes the bear.
The bear eats the bear.
@0: The bear eats the mouse.[(triple1)] The mouse chases the bear.[(triple2)] @1: The mouse likes the bear.[(((triple2) -> rule6))] @2: The bear is green.[(((((triple2) -> rule6)) -> rule5))] The bear likes the mouse.[(((((triple2) -> rule6)) -> rule4))] @3: The bear is young.[(((((((triple2) -> rule6)) -> rule5)) -> rule1))]