The bear is young. The mouse chases the squirrel. The squirrel chases the bear. If something is green then it eats the bear. If something chases the squirrel then it chases the mouse. If something chases the squirrel then it chases the mouse. If the bear chases the mouse then the bear eats the squirrel. If something sees the bear then the bear chases the squirrel. If something chases the mouse then it does not see the mouse.
The mouse sees the mouse.
@0: The bear is young.[(triple1)] The mouse chases the squirrel.[(triple2)] The squirrel chases the bear.[(triple3)] @1: The mouse chases the mouse.[(((triple2) -> rule2) OR ((triple2) -> rule3))] @2: The mouse does not see the mouse.[(((((triple2) -> rule2)) -> rule6) OR ((((triple2) -> rule3)) -> rule6))]