The bald eagle sees the mouse. The cat needs the bald eagle. The dog sees the bald eagle. The mouse is not young. If someone eats the cat then the cat needs the bald eagle. If the cat eats the bald eagle then the cat needs the dog. If someone sees the bald eagle then they eat the cat. If someone is young then they do not eat the cat. If someone is big then they do not eat the cat. If someone sees the mouse then the mouse does not eat the cat. If someone is big and they do not eat the dog then the dog needs the bald eagle. If someone needs the mouse and they see the bald eagle then the mouse is cold.
The bald eagle does not see the mouse.
@0: The bald eagle sees the mouse.[(triple1)] The cat needs the bald eagle.[(triple2 OR ((((triple3) -> rule3)) -> rule1))] The dog sees the bald eagle.[(triple3)] The mouse is not young.[(triple4)] @1: The dog eats the cat.[(((triple3) -> rule3))] The mouse does not eat the cat.[(((triple1) -> rule6))]