The bald eagle visits the dog. The dog eats the mouse. The mouse does not visit the dog. If something eats the dog then the dog eats the bald eagle. If something eats the mouse then it visits the bald eagle. If the mouse does not eat the bald eagle then the mouse visits the dog. If something is rough and it needs the mouse then it needs the bald eagle. If the bald eagle eats the mouse then the mouse does not need the dog. If something visits the bald eagle and it is not rough then it eats the mouse. If something visits the bald eagle then it eats the dog. If something eats the bald eagle and it does not need the dog then the dog is red.
The dog is rough.
@0: The bald eagle visits the dog.[(triple1)] The dog eats the mouse.[(triple2)] The mouse does not visit the dog.[(triple3)] @1: The dog visits the bald eagle.[(((triple2) -> rule2))] @2: The dog eats the dog.[(((((triple2) -> rule2)) -> rule7))] @3: The dog eats the bald eagle.[(((((((triple2) -> rule2)) -> rule7)) -> rule1))]