The bald eagle eats the squirrel. The cow eats the mouse. The cow is cold. The cow is rough. The cow does not need the bald eagle. The mouse eats the squirrel. The mouse does not need the cow. The mouse does not visit the bald eagle. The mouse visits the squirrel. The squirrel needs the cow. If the mouse is cold and the mouse is rough then the mouse does not eat the bald eagle. If something needs the mouse then the mouse needs the squirrel. If something visits the mouse and it is rough then it visits the cow. If something is rough then it visits the cow. If something visits the mouse then it eats the mouse. If the bald eagle is young then the bald eagle eats the squirrel.
The bald eagle eats the squirrel.
@0: The bald eagle eats the squirrel.[(triple1)] The cow does not need the bald eagle.[(triple5)] The cow eats the mouse.[(triple2)] The cow is cold.[(triple3)] The cow is rough.[(triple4)] The mouse does not need the cow.[(triple7)] The mouse does not visit the bald eagle.[(triple8)] The mouse eats the squirrel.[(triple6)] The mouse visits the squirrel.[(triple9)] The squirrel needs the cow.[(triple10)] @1: The cow visits the cow.[(((triple4) -> rule4))]