The bald eagle does not eat the lion. The bald eagle does not see the mouse. The bald eagle visits the bear. The bald eagle visits the lion. The bear eats the mouse. The bear is cold. The lion does not eat the bald eagle. The lion visits the bear. The mouse eats the bear. The mouse does not see the lion. If the mouse sees the bald eagle then the mouse sees the lion. If someone eats the bald eagle then they visit the mouse. If someone sees the bear and they visit the bald eagle then the bear is cold. If the lion is kind then the lion eats the bald eagle. If someone visits the bear then the bear eats the bald eagle. If someone is young and they eat the mouse then the mouse sees the bear. If someone visits the bald eagle then the bald eagle does not eat the lion. If someone is young and they do not eat the bald eagle then the bald eagle does not see the lion.
The bear does not eat the bald eagle.
@0: The bald eagle does not eat the lion.[(triple1)] The bald eagle does not see the mouse.[(triple2)] The bald eagle visits the bear.[(triple3)] The bald eagle visits the lion.[(triple4)] The bear eats the mouse.[(triple5)] The bear is cold.[(triple6)] The lion does not eat the bald eagle.[(triple7)] The lion visits the bear.[(triple8)] The mouse does not see the lion.[(triple10)] The mouse eats the bear.[(triple9)] @1: The bear eats the bald eagle.[(((triple3) -> rule5) OR ((triple8) -> rule5))] @2: The bear visits the mouse.[(((((triple3) -> rule5)) -> rule2) OR ((((triple8) -> rule5)) -> rule2))]