The bald eagle is kind. The bald eagle likes the cow. The bald eagle likes the mouse. The cow chases the squirrel. The cow eats the mouse. The cow likes the squirrel. The mouse chases the cow. The mouse eats the cow. The mouse is nice. The mouse likes the cow. The mouse likes the squirrel. The squirrel does not chase the bald eagle. The squirrel does not eat the cow. The squirrel eats the mouse. The squirrel is nice. The squirrel is young. If the mouse is not young then the mouse does not chase the bald eagle. If the squirrel does not eat the cow then the cow eats the squirrel. If someone likes the bald eagle then the bald eagle likes the mouse.
The bald eagle chases the mouse.
@0: The bald eagle is kind.[(triple1)] The bald eagle likes the cow.[(triple2)] The bald eagle likes the mouse.[(triple3)] The cow chases the squirrel.[(triple4)] The cow eats the mouse.[(triple5)] The cow likes the squirrel.[(triple6)] The mouse chases the cow.[(triple7)] The mouse eats the cow.[(triple8)] The mouse is nice.[(triple9)] The mouse likes the cow.[(triple10)] The mouse likes the squirrel.[(triple11)] The squirrel does not chase the bald eagle.[(triple12)] The squirrel does not eat the cow.[(triple13)] The squirrel eats the mouse.[(triple14)] The squirrel is nice.[(triple15)] The squirrel is young.[(triple16)] @1: The cow eats the squirrel.[(((triple13) -> rule2))]