The bear chases the cow. The bear eats the cow. The bear is nice. The bear is round. The bear sees the cow. The bear sees the mouse. The cow eats the mouse. The cow is rough. The cow sees the bear. The mouse chases the bear. If the bear is round then the bear chases the mouse. If someone eats the bear and the bear sees the mouse then the mouse is big. If someone chases the bear and the bear is rough then the bear chases the cow.
The bear eats the mouse.
@0: The bear chases the cow.[(triple1)] The bear eats the cow.[(triple2)] The bear is nice.[(triple3)] The bear is round.[(triple4)] The bear sees the cow.[(triple5)] The bear sees the mouse.[(triple6)] The cow eats the mouse.[(triple7)] The cow is rough.[(triple8)] The cow sees the bear.[(triple9)] The mouse chases the bear.[(triple10)] @1: The bear chases the mouse.[(((triple4) -> rule1))]