The bear eats the mouse. The mouse sees the bear. If someone is big then they do not need the mouse. If someone is rough and cold then they eat the bear. If someone eats the bear then they need the bear. If someone sees the mouse then they need the bear. If the mouse sees the bear then the bear sees the mouse. If someone is big and they do not eat the bear then the bear needs the mouse. If someone needs the bear then the bear needs the mouse. If someone is big and they do not need the bear then they eat the mouse.
The mouse needs the bear.
@0: The bear eats the mouse.[(triple1)] The mouse sees the bear.[(triple2)] @1: The bear sees the mouse.[(((triple2) -> rule5))] @2: The bear needs the bear.[(((((triple2) -> rule5)) -> rule4))] @3: The bear needs the mouse.[(((((((triple2) -> rule5)) -> rule4)) -> rule7))]