The cow eats the mouse. The dog needs the mouse. The mouse does not see the tiger. The tiger is rough. If someone sees the cow and the cow eats the tiger then the tiger is rough. If someone eats the mouse then the mouse needs the dog.
The dog does not need the tiger.
@0: The cow eats the mouse.[(triple1)] The dog needs the mouse.[(triple2)] The mouse does not see the tiger.[(triple3)] The tiger is rough.[(triple4)] @1: The mouse needs the dog.[(((triple1) -> rule2))]