The bald eagle eats the cow. The cow is not young. The mouse needs the cow. The rabbit visits the mouse. If someone visits the mouse then the mouse visits the bald eagle.
The bald eagle does not eat the cow.
@0: The bald eagle eats the cow.[(triple1)] The cow is not young.[(triple2)] The mouse needs the cow.[(triple3)] The rabbit visits the mouse.[(triple4)] @1: The mouse visits the bald eagle.[(((triple4) -> rule1))]