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