The bald eagle eats the lion. The dog likes the bald eagle. The lion eats the bald eagle. The mouse visits the bald eagle. If something likes the dog then it eats the mouse. If something visits the bald eagle then the bald eagle likes the dog. If something is nice then it likes the lion. If the mouse likes the bald eagle and the bald eagle likes the lion then the bald eagle eats the mouse. If something visits the bald eagle and it eats the dog then it likes the lion. If something is nice then it visits the bald eagle. If something likes the bald eagle and the bald eagle eats the mouse then the mouse is kind. If the lion is nice then the lion visits the bald eagle.
The lion does not like the lion.
@0: The bald eagle eats the lion.[(triple1)] The dog likes the bald eagle.[(triple2)] The lion eats the bald eagle.[(triple3)] The mouse visits the bald eagle.[(triple4)] @1: The bald eagle likes the dog.[(((triple4) -> rule2))] @2: The bald eagle eats the mouse.[(((((triple4) -> rule2)) -> rule1))] @3: The mouse is kind.[(((triple2 ((((triple4) -> rule2)) -> rule1)) -> rule7))]