The bald eagle eats the tiger. The bald eagle is young. The bald eagle likes the mouse. The bald eagle needs the rabbit. The mouse is kind. The mouse needs the bald eagle. The rabbit is young. The rabbit needs the mouse. The tiger is round. The tiger likes the bald eagle. The tiger needs the mouse. If something likes the rabbit then it eats the mouse. If something needs the rabbit then it likes the rabbit. All kind things are round. If the mouse eats the rabbit then the mouse eats the bald eagle. If something eats the mouse then the mouse needs the rabbit.
The bald eagle does not eat the mouse.
@0: The bald eagle eats the tiger.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle likes the mouse.[(triple3)] The bald eagle needs the rabbit.[(triple4)] The mouse is kind.[(triple5)] The mouse needs the bald eagle.[(triple6)] The rabbit is young.[(triple7)] The rabbit needs the mouse.[(triple8)] The tiger is round.[(triple9)] The tiger likes the bald eagle.[(triple10)] The tiger needs the mouse.[(triple11)] @1: The bald eagle likes the rabbit.[(((triple4) -> rule2))] The mouse is round.[(((triple5) -> rule3))] @2: The bald eagle eats the mouse.[(((((triple4) -> rule2)) -> rule1))] @3: The mouse needs the rabbit.[(((((((triple4) -> rule2)) -> rule1)) -> rule5))] @4: The mouse likes the rabbit.[(((((((((triple4) -> rule2)) -> rule1)) -> rule5)) -> rule2))] @5: The mouse eats the mouse.[(((((((((((triple4) -> rule2)) -> rule1)) -> rule5)) -> rule2)) -> rule1))]