The bald eagle is round. The mouse is not young. The rabbit needs the bald eagle. If something is blue and young then it eats the mouse. If something is green and it eats the bald eagle then it is not kind. If something eats the bald eagle then the bald eagle eats the mouse. If something chases the bald eagle then it is round. If something needs the bald eagle then it eats the rabbit. If something eats the rabbit then it does not need the mouse.
The rabbit eats the rabbit.
@0: The bald eagle is round.[(triple1)] The mouse is not young.[(triple2)] The rabbit needs the bald eagle.[(triple3)] @1: The rabbit eats the rabbit.[(((triple3) -> rule5))] @2: The rabbit does not need the mouse.[(((((triple3) -> rule5)) -> rule6))]