The bear eats the mouse. The bear likes the mouse. The bear likes the rabbit. The mouse chases the rabbit. The mouse is nice. The mouse is round. The mouse likes the bear. The mouse likes the rabbit. The rabbit chases the bear. The rabbit chases the mouse. The rabbit eats the bear. The rabbit eats the mouse. The rabbit is round. The rabbit likes the bear. The rabbit likes the mouse. If something is blue then it likes the bear. If something eats the bear then it chases the rabbit. If the mouse likes the rabbit and the mouse eats the bear then the mouse chases the bear. If the mouse likes the bear and the bear is young then the bear is blue. If something eats the bear and the bear chases the mouse then it likes the rabbit. If something chases the bear and it chases the rabbit then the bear chases the mouse.
The rabbit does not chase the rabbit.
@0: The bear eats the mouse.[(triple1)] The bear likes the mouse.[(triple2)] The bear likes the rabbit.[(triple3)] The mouse chases the rabbit.[(triple4)] The mouse is nice.[(triple5)] The mouse is round.[(triple6)] The mouse likes the bear.[(triple7)] The mouse likes the rabbit.[(triple8)] The rabbit chases the bear.[(triple9)] The rabbit chases the mouse.[(triple10)] The rabbit eats the bear.[(triple11)] The rabbit eats the mouse.[(triple12)] The rabbit is round.[(triple13)] The rabbit likes the bear.[(triple14)] The rabbit likes the mouse.[(triple15)] @1: The rabbit chases the rabbit.[(((triple11) -> rule2))] @2: The bear chases the mouse.[(((triple9 ((triple11) -> rule2)) -> rule6))] @3: The rabbit likes the rabbit.[(((triple11 ((triple9 ((triple11) -> rule2)) -> rule6)) -> rule5))]