The bald eagle eats the lion. The bald eagle eats the mouse. The bald eagle is cold. The bald eagle needs the rabbit. The bald eagle visits the lion. The lion eats the rabbit. The lion visits the bald eagle. The lion visits the mouse. The lion does not visit the rabbit. The mouse eats the lion. The mouse is red. The rabbit is big. The rabbit is cold. The rabbit is round. The rabbit does not visit the lion. The rabbit visits the mouse. If something visits the rabbit and the rabbit is big then the rabbit does not eat the lion. If something needs the rabbit then the rabbit visits the bald eagle. If something visits the lion and the lion is kind then it is red. If something is red then it is round. If something eats the mouse and the mouse eats the lion then the lion is red. If something is round then it eats the bald eagle.
The bald eagle does not eat the lion.
@0: The bald eagle eats the lion.[(triple1)] The bald eagle eats the mouse.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle needs the rabbit.[(triple4)] The bald eagle visits the lion.[(triple5)] The lion does not visit the rabbit.[(triple9)] The lion eats the rabbit.[(triple6)] The lion visits the bald eagle.[(triple7)] The lion visits the mouse.[(triple8)] The mouse eats the lion.[(triple10)] The mouse is red.[(triple11)] The rabbit does not visit the lion.[(triple15)] The rabbit is big.[(triple12)] The rabbit is cold.[(triple13)] The rabbit is round.[(triple14)] The rabbit visits the mouse.[(triple16)] @1: The lion is red.[(((triple2 triple10) -> rule5))] The mouse is round.[(((triple11) -> rule4))] The rabbit eats the bald eagle.[(((triple14) -> rule6))] The rabbit visits the bald eagle.[(((triple4) -> rule2))] @2: The lion is round.[(((((triple2 triple10) -> rule5)) -> rule4))] The mouse eats the bald eagle.[(((((triple11) -> rule4)) -> rule6))] @3: The lion eats the bald eagle.[(((((((triple2 triple10) -> rule5)) -> rule4)) -> rule6))]