The bald eagle eats the bear. The bald eagle is rough. The bald eagle is young. The bald eagle likes the bear. The bald eagle likes the mouse. The bald eagle sees the bear. The bald eagle sees the mouse. The bear is rough. The bear sees the bald eagle. The mouse eats the bald eagle. If someone eats the mouse then they see the mouse. If someone likes the bald eagle then the bald eagle is green. If someone sees the bald eagle and they eat the bear then they like the bear. If someone eats the bald eagle then they like the bald eagle. If the bear eats the bald eagle and the bald eagle likes the bear then the bear sees the mouse. If someone sees the bear then the bear likes the bald eagle. If the bear sees the bald eagle and the bald eagle eats the bear then the bald eagle sees the bear. If someone is green then they eat the mouse.
The bald eagle does not eat the mouse.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle likes the bear.[(triple4)] The bald eagle likes the mouse.[(triple5)] The bald eagle sees the bear.[(triple6 OR ((triple9 triple1) -> rule7))] The bald eagle sees the mouse.[(triple7 OR ((((((((triple10) -> rule4)) -> rule2)) -> rule8)) -> rule1) OR ((((((((triple6) -> rule6)) -> rule2)) -> rule8)) -> rule1) OR ((((((((((triple9 triple1) -> rule7)) -> rule6)) -> rule2)) -> rule8)) -> rule1))] The bear is rough.[(triple8)] The bear sees the bald eagle.[(triple9)] The mouse eats the bald eagle.[(triple10)] @1: The bear likes the bald eagle.[(((triple6) -> rule6) OR ((((triple9 triple1) -> rule7)) -> rule6))] The mouse likes the bald eagle.[(((triple10) -> rule4))] @2: The bald eagle is green.[(((((triple10) -> rule4)) -> rule2) OR ((((triple6) -> rule6)) -> rule2) OR ((((((triple9 triple1) -> rule7)) -> rule6)) -> rule2))] @3: The bald eagle eats the mouse.[(((((((triple10) -> rule4)) -> rule2)) -> rule8) OR ((((((triple6) -> rule6)) -> rule2)) -> rule8) OR ((((((((triple9 triple1) -> rule7)) -> rule6)) -> rule2)) -> rule8))]