The bald eagle eats the mouse. The bald eagle does not eat the rabbit. The bald eagle visits the mouse. The lion is not kind. The mouse does not visit the bald eagle. The rabbit eats the lion. The rabbit visits the bald eagle. If something is young then it does not visit the rabbit. If something visits the rabbit then the rabbit is not kind. If the bald eagle needs the mouse and the mouse is young then the bald eagle visits the rabbit. If the rabbit eats the lion then the lion is not young. If the bald eagle eats the lion then the lion does not need the bald eagle. If something eats the rabbit and it does not visit the rabbit then the rabbit is not round.
The bald eagle does not visit the rabbit.
@0: The bald eagle does not eat the rabbit.[(triple2)] The bald eagle eats the mouse.[(triple1)] The bald eagle visits the mouse.[(triple3)] The lion is not kind.[(triple4)] The mouse does not visit the bald eagle.[(triple5)] The rabbit eats the lion.[(triple6)] The rabbit visits the bald eagle.[(triple7)] @1: The lion is not young.[(((triple6) -> rule4))]