The lion is not young. The mouse eats the lion. The mouse is kind. The rabbit eats the mouse. The rabbit is not kind. The rabbit is nice. The rabbit does not need the mouse. If something needs the rabbit and the rabbit is kind then the rabbit needs the mouse. If the lion needs the mouse and the lion needs the rabbit then the rabbit eats the mouse. If something needs the lion and it does not need the mouse then the mouse is nice. If something is nice and it does not eat the rabbit then it does not eat the lion. If something is nice then it eats the lion. If something is young then it does not eat the lion.
The lion needs the mouse.
@0: The lion is not young.[(triple1)] The mouse eats the lion.[(triple2)] The mouse is kind.[(triple3)] The rabbit does not need the mouse.[(triple7)] The rabbit eats the mouse.[(triple4)] The rabbit is nice.[(triple6)] The rabbit is not kind.[(triple5)] @1: The rabbit eats the lion.[(((triple6) -> rule5))]