The bald eagle visits the bear. The bald eagle visits the cow. The bald eagle visits the mouse. The bear needs the bald eagle. The cow eats the mouse. The cow is big. The mouse needs the bear. If someone visits the cow then they need the mouse. If someone needs the bald eagle and the bald eagle eats the mouse then the bald eagle is kind. If someone eats the mouse then they eat the cow. If the bald eagle is cold then the bald eagle needs the bear. If the bald eagle is red and the bald eagle needs the cow then the cow needs the mouse. If someone eats the cow and they are kind then they eat the bald eagle. If someone needs the mouse then the mouse visits the cow. If someone eats the bald eagle then they need the cow.
The bear does not eat the cow.
@0: The bald eagle visits the bear.[(triple1)] The bald eagle visits the cow.[(triple2)] The bald eagle visits the mouse.[(triple3)] The bear needs the bald eagle.[(triple4)] The cow eats the mouse.[(triple5)] The cow is big.[(triple6)] The mouse needs the bear.[(triple7)] @1: The bald eagle needs the mouse.[(((triple2) -> rule1))] The cow eats the cow.[(((triple5) -> rule3))] @2: The mouse visits the cow.[(((((triple2) -> rule1)) -> rule7))] @3: The mouse needs the mouse.[(((((((triple2) -> rule1)) -> rule7)) -> rule1))]