The bald eagle eats the bear. The bald eagle is big. The bald eagle is blue. The bald eagle likes the rabbit. The bald eagle visits the mouse. The bear likes the rabbit. The mouse eats the bald eagle. The mouse is round. The rabbit eats the bear. The rabbit is round. The rabbit visits the bald eagle. The rabbit visits the bear. If something eats the mouse then it is big. If something likes the bald eagle then it eats the rabbit. If something likes the mouse and it eats the mouse then it eats the bald eagle. If something is blue and it likes the bear then it visits the rabbit. If something eats the bald eagle and the bald eagle eats the bear then the bald eagle likes the bear. If the rabbit likes the bear then the rabbit likes the bald eagle. If something eats the bald eagle then it eats the rabbit. If something visits the rabbit then the rabbit likes the bear.
The bear visits the rabbit.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle likes the rabbit.[(triple4)] The bald eagle visits the mouse.[(triple5)] The bear likes the rabbit.[(triple6)] The mouse eats the bald eagle.[(triple7)] The mouse is round.[(triple8)] The rabbit eats the bear.[(triple9)] The rabbit is round.[(triple10)] The rabbit visits the bald eagle.[(triple11)] The rabbit visits the bear.[(triple12)] @1: The bald eagle likes the bear.[(((triple7 triple1) -> rule5))] The mouse eats the rabbit.[(((triple7) -> rule7))] @2: The bald eagle visits the rabbit.[(((triple3 ((triple7 triple1) -> rule5)) -> rule4))] @3: The rabbit likes the bear.[(((((triple3 ((triple7 triple1) -> rule5)) -> rule4)) -> rule8))] @4: The rabbit likes the bald eagle.[(((((((triple3 ((triple7 triple1) -> rule5)) -> rule4)) -> rule8)) -> rule6))] @5: The rabbit eats the rabbit.[(((((((((triple3 ((triple7 triple1) -> rule5)) -> rule4)) -> rule8)) -> rule6)) -> rule2))]