The bald eagle is kind. The dog chases the mouse. The mouse eats the bald eagle. If something visits the mouse then it is young. If something eats the mouse then the mouse is rough. If something eats the dog then the dog visits the bald eagle. If the bald eagle is kind then the bald eagle eats the mouse. If something eats the mouse and it visits the dog then the mouse visits the dog. If something is rough then it chases the bald eagle. If something eats the dog then it chases the dog. If something chases the bald eagle then it visits the bald eagle.
The mouse is young.
@0: The bald eagle is kind.[(triple1)] The dog chases the mouse.[(triple2)] The mouse eats the bald eagle.[(triple3)] @1: The bald eagle eats the mouse.[(((triple1) -> rule4))] @2: The mouse is rough.[(((((triple1) -> rule4)) -> rule2))] @3: The mouse chases the bald eagle.[(((((((triple1) -> rule4)) -> rule2)) -> rule6))] @4: The mouse visits the bald eagle.[(((((((((triple1) -> rule4)) -> rule2)) -> rule6)) -> rule8))]