The bald eagle chases the mouse. The bald eagle eats the rabbit. The lion is nice. The lion likes the rabbit. The mouse chases the lion. The mouse is young. The rabbit eats the lion. The rabbit is nice. The rabbit is young. The rabbit likes the bald eagle. If something eats the lion and it likes the lion then it is young. If something is nice then it eats the mouse.
The lion is not nice.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The lion is nice.[(triple3)] The lion likes the rabbit.[(triple4)] The mouse chases the lion.[(triple5)] The mouse is young.[(triple6)] The rabbit eats the lion.[(triple7)] The rabbit is nice.[(triple8)] The rabbit is young.[(triple9)] The rabbit likes the bald eagle.[(triple10)] @1: The lion eats the mouse.[(((triple3) -> rule2))] The rabbit eats the mouse.[(((triple8) -> rule2))]