The cow is young. The lion eats the cow. The mouse chases the cow. If something is young then it does not chase the mouse. If something eats the cow and the cow is not blue then the cow needs the mouse. If something eats the mouse and the mouse chases the cow then the cow does not chase the lion.
The mouse is young.
@0: The cow is young.[(triple1)] The lion eats the cow.[(triple2)] The mouse chases the cow.[(triple3)] @1: The cow does not chase the mouse.[(((triple1) -> rule1))]