The bald eagle eats the cat. The cat needs the bald eagle. The rabbit chases the bald eagle. If something is big and it needs the cat then it eats the cat. If something chases the cat and it eats the rabbit then the rabbit is young. If something eats the cat then the cat is young.
The rabbit does not eat the cat.
@0: The bald eagle eats the cat.[(triple1)] The cat needs the bald eagle.[(triple2)] The rabbit chases the bald eagle.[(triple3)] @1: The cat is young.[(((triple1) -> rule3))]