The bear eats the cow. The bear eats the mouse. The bear is young. The bear likes the cow. The bear likes the mouse. The cow eats the mouse. The cow likes the mouse. The mouse eats the cow. The mouse is kind. The mouse is red. The mouse is round. The mouse is young. The mouse likes the bear. The mouse needs the bear. The mouse needs the cow. If the mouse needs the bear and the mouse eats the bear then the bear is round. If something is round then it likes the mouse. If something eats the mouse and the mouse is cold then the mouse is red.
The cow likes the bear.
@0: The bear eats the cow.[(triple1)] The bear eats the mouse.[(triple2)] The bear is young.[(triple3)] The bear likes the cow.[(triple4)] The bear likes the mouse.[(triple5)] The cow eats the mouse.[(triple6)] The cow likes the mouse.[(triple7)] The mouse eats the cow.[(triple8)] The mouse is kind.[(triple9)] The mouse is red.[(triple10)] The mouse is round.[(triple11)] The mouse is young.[(triple12)] The mouse likes the bear.[(triple13)] The mouse needs the bear.[(triple14)] The mouse needs the cow.[(triple15)] @1: The mouse likes the mouse.[(((triple11) -> rule2))]