The bald eagle eats the squirrel. The bald eagle likes the mouse. The mouse eats the bald eagle. The mouse eats the squirrel. The mouse is big. The squirrel eats the mouse. The squirrel is nice. If something needs the mouse then the mouse needs the bald eagle. If something eats the mouse and the mouse likes the squirrel then the mouse eats the squirrel. If something likes the squirrel then the squirrel needs the mouse. If something needs the squirrel then the squirrel eats the bald eagle. If something eats the squirrel then the squirrel likes the mouse. If something likes the squirrel and the squirrel is kind then it is nice.
The squirrel eats the mouse.
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle likes the mouse.[(triple2)] The mouse eats the bald eagle.[(triple3)] The mouse eats the squirrel.[(triple4)] The mouse is big.[(triple5)] The squirrel eats the mouse.[(triple6)] The squirrel is nice.[(triple7)] @1: The squirrel likes the mouse.[(((triple1) -> rule5) OR ((triple4) -> rule5))]