The bald eagle eats the mouse. The bald eagle visits the bear. The bear eats the bald eagle. The bear is rough. The bear needs the mouse. The dog eats the mouse. The mouse is cold. If someone is rough then they eat the mouse. If someone visits the bald eagle and they eat the dog then the bald eagle eats the dog.
The mouse does not eat the mouse.
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle visits the bear.[(triple2)] The bear eats the bald eagle.[(triple3)] The bear is rough.[(triple4)] The bear needs the mouse.[(triple5)] The dog eats the mouse.[(triple6)] The mouse is cold.[(triple7)] @1: The bear eats the mouse.[(((triple4) -> rule1))]