The bald eagle eats the bear. The bald eagle likes the lion. The bear is round. The bear likes the mouse. The lion visits the mouse. The mouse likes the bald eagle. The mouse visits the lion. If someone visits the bear then they visit the mouse. If someone is young then they eat the lion. If someone eats the lion then they visit the bald eagle. If someone visits the mouse then they visit the bald eagle. If the mouse visits the bald eagle then the mouse is kind. If the bear is round and the bear likes the mouse then the mouse eats the lion. If someone likes the lion then they visit the lion. If someone visits the bear then the bear visits the mouse.
The bald eagle does not visit the bald eagle.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle likes the lion.[(triple2)] The bear is round.[(triple3)] The bear likes the mouse.[(triple4)] The lion visits the mouse.[(triple5)] The mouse likes the bald eagle.[(triple6)] The mouse visits the lion.[(triple7)] @1: The bald eagle visits the lion.[(((triple2) -> rule7))] The lion visits the bald eagle.[(((triple5) -> rule4))] The mouse eats the lion.[(((triple3 triple4) -> rule6))] @2: The mouse visits the bald eagle.[(((((triple3 triple4) -> rule6)) -> rule3))] @3: The mouse is kind.[(((((((triple3 triple4) -> rule6)) -> rule3)) -> rule5))]