The bald eagle eats the lion. The cow eats the bald eagle. The cow is young. The lion chases the bald eagle. The mouse chases the lion. The mouse eats the cow. The mouse needs the lion. If something chases the cow and it eats the mouse then the mouse chases the bald eagle. If something chases the mouse then it eats the cow. If something is big then it eats the mouse. If something chases the mouse and the mouse needs the bald eagle then the mouse needs the lion. If something is young and it needs the cow then the cow chases the bald eagle. If something eats the cow and it needs the lion then the lion chases the cow.
The mouse does not eat the cow.
@0: The bald eagle eats the lion.[(triple1)] The cow eats the bald eagle.[(triple2)] The cow is young.[(triple3)] The lion chases the bald eagle.[(triple4)] The mouse chases the lion.[(triple5)] The mouse eats the cow.[(triple6)] The mouse needs the lion.[(triple7)] @1: The lion chases the cow.[(((triple6 triple7) -> rule6))]