The bear sees the mouse. The mouse eats the tiger. The mouse is young. The squirrel is red. The squirrel is rough. The squirrel sees the mouse. The tiger sees the mouse. If someone is nice and they eat the tiger then the tiger is young. If someone is young then they eat the tiger. If the squirrel sees the mouse then the squirrel needs the bear.
The mouse sees the tiger.
@0: The bear sees the mouse.[(triple1)] The mouse eats the tiger.[(triple2 OR ((triple3) -> rule2))] The mouse is young.[(triple3)] The squirrel is red.[(triple4)] The squirrel is rough.[(triple5)] The squirrel sees the mouse.[(triple6)] The tiger sees the mouse.[(triple7)] @1: The squirrel needs the bear.[(((triple6) -> rule3))]