The cow chases the mouse. The cow is rough. The cow needs the mouse. The mouse eats the cow. The mouse is big. The mouse is green. The mouse needs the cow. If someone needs the cow and the cow chases the mouse then the cow eats the mouse.
The cow does not eat the mouse.
@0: The cow chases the mouse.[(triple1)] The cow is rough.[(triple2)] The cow needs the mouse.[(triple3)] The mouse eats the cow.[(triple4)] The mouse is big.[(triple5)] The mouse is green.[(triple6)] The mouse needs the cow.[(triple7)] @1: The cow eats the mouse.[(((triple7 triple1) -> rule1))]