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