The cat does not chase the mouse. The cat likes the cow. The cat needs the cow. The cow does not chase the mouse. The cow is rough. The cow needs the mouse. The mouse is rough. If something needs the cow then the cow does not need the cat. If something is young then it does not need the mouse.
The cow does not need the cat.
@0: The cat does not chase the mouse.[(triple1)] The cat likes the cow.[(triple2)] The cat needs the cow.[(triple3)] The cow does not chase the mouse.[(triple4)] The cow is rough.[(triple5)] The cow needs the mouse.[(triple6)] The mouse is rough.[(triple7)] @1: The cow does not need the cat.[(((triple3) -> rule1))]