The bald eagle eats the cat. The cat is not round. The dog needs the bald eagle. The mouse does not see the dog. If something eats the cat then it does not see the dog.
The bald eagle does not eat the cat.
@0: The bald eagle eats the cat.[(triple1)] The cat is not round.[(triple2)] The dog needs the bald eagle.[(triple3)] The mouse does not see the dog.[(triple4)] @1: The bald eagle does not see the dog.[(((triple1) -> rule1))]