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