The bald eagle eats the mouse. The bald eagle sees the bear. The bear eats the tiger. The bear sees the tiger. The mouse is nice. The mouse visits the bear. The tiger eats the bald eagle. The tiger sees the mouse. The tiger visits the bear. The tiger visits the mouse. If someone visits the bald eagle then the bald eagle is young. If someone sees the mouse then they are young. If someone visits the bald eagle and they visit the mouse then the mouse visits the bald eagle. If someone is young then they visit the bald eagle. If someone eats the bear and they eat the bald eagle then the bald eagle is big. If the mouse sees the tiger and the tiger eats the bald eagle then the mouse visits the bear.
The mouse is not young.
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle sees the bear.[(triple2)] The bear eats the tiger.[(triple3)] The bear sees the tiger.[(triple4)] The mouse is nice.[(triple5)] The mouse visits the bear.[(triple6)] The tiger eats the bald eagle.[(triple7)] The tiger sees the mouse.[(triple8)] The tiger visits the bear.[(triple9)] The tiger visits the mouse.[(triple10)] @1: The tiger is young.[(((triple8) -> rule2))] @2: The tiger visits the bald eagle.[(((((triple8) -> rule2)) -> rule4))] @3: The bald eagle is young.[(((((((triple8) -> rule2)) -> rule4)) -> rule1) OR ((((((((triple8) -> rule2)) -> rule4) triple10) -> rule3)) -> rule1))] The mouse visits the bald eagle.[(((((((triple8) -> rule2)) -> rule4) triple10) -> rule3))] @4: The bald eagle visits the bald eagle.[(((((((((triple8) -> rule2)) -> rule4)) -> rule1)) -> rule4) OR ((((((((((triple8) -> rule2)) -> rule4) triple10) -> rule3)) -> rule1)) -> rule4))]