The bald eagle eats the mouse. The lion is nice. The mouse visits the rabbit. The rabbit needs the mouse. If the rabbit needs the mouse and the mouse needs the bald eagle then the bald eagle visits the rabbit. If the mouse eats the rabbit and the mouse is nice then the rabbit is kind. If something visits the rabbit then it needs the bald eagle. If something is blue then it eats the bald eagle. If something needs the mouse then the mouse is nice. If something is nice and it visits the lion then it visits the mouse. If something eats the bald eagle and the bald eagle needs the mouse then it is cold. If something is nice and it needs the mouse then the mouse is blue.
The bald eagle does not visit the rabbit.
@0: The bald eagle eats the mouse.[(triple1)] The lion is nice.[(triple2)] The mouse visits the rabbit.[(triple3)] The rabbit needs the mouse.[(triple4)] @1: The mouse is nice.[(((triple4) -> rule5))] The mouse needs the bald eagle.[(((triple3) -> rule3))] @2: The bald eagle visits the rabbit.[(((triple4 ((triple3) -> rule3)) -> rule1))] @3: The bald eagle needs the bald eagle.[(((((triple4 ((triple3) -> rule3)) -> rule1)) -> rule3))]