The bear is green. The cow eats the mouse. The cow is big. The cow likes the bear. The cow likes the mouse. The lion eats the cow. The lion is young. The lion likes the mouse. The mouse chases the bear. The mouse chases the lion. If something eats the cow then the cow is big. If something is young and it eats the mouse then it eats the cow. If something likes the mouse and the mouse is green then the mouse chases the cow. If something is green then it chases the lion. If something eats the lion then it chases the bear. If something likes the lion and it is big then the lion chases the cow. If the bear is big then the bear eats the cow. If something is round then it eats the mouse.
The bear does not eat the cow.
@0: The bear is green.[(triple1)] The cow eats the mouse.[(triple2)] The cow is big.[(triple3 OR ((triple6) -> rule1))] The cow likes the bear.[(triple4)] The cow likes the mouse.[(triple5)] The lion eats the cow.[(triple6)] The lion is young.[(triple7)] The lion likes the mouse.[(triple8)] The mouse chases the bear.[(triple9)] The mouse chases the lion.[(triple10)] @1: The bear chases the lion.[(((triple1) -> rule4))]