The bear eats the lion. The bear likes the mouse. The lion chases the mouse. The lion eats the bear. The mouse chases the bear. The mouse chases the lion. The mouse likes the bear. If something is red then it is round. If something chases the mouse then the mouse eats the lion. If something is young and it likes the bear then it eats the bear. All rough things are red. If something chases the lion and it eats the bear then it likes the lion. If something is red then it likes the mouse.
The bear is not red.
@0: The bear eats the lion.[(triple1)] The bear likes the mouse.[(triple2)] The lion chases the mouse.[(triple3)] The lion eats the bear.[(triple4)] The mouse chases the bear.[(triple5)] The mouse chases the lion.[(triple6)] The mouse likes the bear.[(triple7)] @1: The mouse eats the lion.[(((triple3) -> rule2))]