The bald eagle chases the squirrel. The bald eagle likes the mouse. The bear chases the squirrel. The bear eats the squirrel. The bear is big. The bear is young. The bear likes the bald eagle. The bear likes the squirrel. The mouse chases the bear. The mouse chases the squirrel. The mouse is big. The squirrel does not chase the bald eagle. The squirrel does not chase the bear. The squirrel eats the bear. The squirrel is big. The squirrel likes the mouse. If something chases the bald eagle and the bald eagle does not eat the bear then the bald eagle chases the bear. If something chases the bear then it chases the squirrel. All kind things are not young.
The mouse eats the bald eagle.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle likes the mouse.[(triple2)] The bear chases the squirrel.[(triple3)] The bear eats the squirrel.[(triple4)] The bear is big.[(triple5)] The bear is young.[(triple6)] The bear likes the bald eagle.[(triple7)] The bear likes the squirrel.[(triple8)] The mouse chases the bear.[(triple9)] The mouse chases the squirrel.[(triple10 OR ((triple9) -> rule2))] The mouse is big.[(triple11)] The squirrel does not chase the bald eagle.[(triple12)] The squirrel does not chase the bear.[(triple13)] The squirrel eats the bear.[(triple14)] The squirrel is big.[(triple15)] The squirrel likes the mouse.[(triple16)]