The bald eagle eats the mouse. The bald eagle visits the dog. The bald eagle visits the mouse. The dog is round. The dog visits the bald eagle. The mouse eats the bald eagle. The mouse is blue. If someone eats the bald eagle then the bald eagle eats the dog. If someone eats the dog then they see the dog. If someone eats the dog then the dog is young.
The mouse does not see the dog.
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle visits the dog.[(triple2)] The bald eagle visits the mouse.[(triple3)] The dog is round.[(triple4)] The dog visits the bald eagle.[(triple5)] The mouse eats the bald eagle.[(triple6)] The mouse is blue.[(triple7)] @1: The bald eagle eats the dog.[(((triple6) -> rule1))] @2: The bald eagle sees the dog.[(((((triple6) -> rule1)) -> rule2))] The dog is young.[(((((triple6) -> rule1)) -> rule3))]