The bear eats the cow. The bear eats the mouse. The bear is kind. The bear is young. The cow eats the mouse. The cow is kind. The cow is nice. The cow is young. The cow likes the bear. The cow needs the bear. The mouse eats the cow. The mouse is kind. The mouse is nice. The mouse is young. The mouse likes the bear. The mouse likes the cow. If someone eats the mouse then the mouse eats the bear.
The cow is young.
@0: The bear eats the cow.[(triple1)] The bear eats the mouse.[(triple2)] The bear is kind.[(triple3)] The bear is young.[(triple4)] The cow eats the mouse.[(triple5)] The cow is kind.[(triple6)] The cow is nice.[(triple7)] The cow is young.[(triple8)] The cow likes the bear.[(triple9)] The cow needs the bear.[(triple10)] The mouse eats the cow.[(triple11)] The mouse is kind.[(triple12)] The mouse is nice.[(triple13)] The mouse is young.[(triple14)] The mouse likes the bear.[(triple15)] The mouse likes the cow.[(triple16)] @1: The mouse eats the bear.[(((triple2) -> rule1) OR ((triple5) -> rule1))]