The bald eagle eats the mouse. The mouse needs the rabbit. The rabbit eats the mouse. The squirrel needs the mouse. If the rabbit is cold and the rabbit chases the bald eagle then the bald eagle needs the rabbit. If something needs the mouse then it is cold. If the bald eagle is round then the bald eagle needs the rabbit. If something needs the rabbit and the rabbit chases the bald eagle then it chases the squirrel. If something needs the bald eagle and it eats the squirrel then the squirrel needs the bald eagle. If something is round then it eats the squirrel. If something needs the rabbit and it chases the rabbit then it is green. If something chases the squirrel then it eats the mouse.
The squirrel does not need the mouse.
@0: The bald eagle eats the mouse.[(triple1)] The mouse needs the rabbit.[(triple2)] The rabbit eats the mouse.[(triple3)] The squirrel needs the mouse.[(triple4)] @1: The squirrel is cold.[(((triple4) -> rule2))]