The bald eagle is big. The bald eagle needs the bear. The bald eagle needs the mouse. The bald eagle sees the bear. The bald eagle sees the mouse. The bear eats the cow. The cow is green. The cow needs the bald eagle. The mouse is red. The mouse is round. The mouse needs the cow. The mouse sees the bald eagle. If someone sees the bald eagle and the bald eagle needs the mouse then the mouse sees the bear. If someone sees the cow and they need the mouse then they need the bald eagle. If someone sees the cow and they eat the cow then the cow is big. If someone eats the mouse then they see the cow. If someone sees the bald eagle and they see the bear then the bear eats the mouse. If someone is red and big then they see the bear.
The mouse does not eat the cow.
@0: The bald eagle is big.[(triple1)] The bald eagle needs the bear.[(triple2)] The bald eagle needs the mouse.[(triple3)] The bald eagle sees the bear.[(triple4)] The bald eagle sees the mouse.[(triple5)] The bear eats the cow.[(triple6)] The cow is green.[(triple7)] The cow needs the bald eagle.[(triple8)] The mouse is red.[(triple9)] The mouse is round.[(triple10)] The mouse needs the cow.[(triple11)] The mouse sees the bald eagle.[(triple12)] @1: The mouse sees the bear.[(((triple12 triple3) -> rule1))] @2: The bear eats the mouse.[(((triple12 ((triple12 triple3) -> rule1)) -> rule5))] @3: The bear sees the cow.[(((((triple12 ((triple12 triple3) -> rule1)) -> rule5)) -> rule4))] @4: The cow is big.[(((((((triple12 ((triple12 triple3) -> rule1)) -> rule5)) -> rule4) triple6) -> rule3))]