The bear sees the mouse. The cow needs the mouse. The mouse eats the bear. If something needs the mouse and it is red then it is big. If the bear sees the cow and the bear is rough then the cow is red. If something is rough then it sees the bear. If the bear is round then the bear eats the mouse. If something needs the bear then the bear needs the mouse. If something needs the mouse then the mouse needs the cow. If something eats the bear then the bear eats the mouse. If the bear sees the cow then the bear needs the cow.
The bear is rough.
@0: The bear sees the mouse.[(triple1)] The cow needs the mouse.[(triple2)] The mouse eats the bear.[(triple3)] @1: The bear eats the mouse.[(((triple3) -> rule7))] The mouse needs the cow.[(((triple2) -> rule6))]