The lion does not eat the mouse. The lion is not big. The lion is not kind. The lion is nice. The lion is round. The lion likes the mouse. The lion needs the mouse. The mouse eats the lion. The mouse is nice. The mouse is round. The mouse likes the lion. The mouse needs the lion. If something needs the lion and the lion is red then the lion does not need the mouse. If the lion is not kind then the lion needs the mouse. If something likes the mouse and it eats the mouse then it does not need the lion. If the mouse does not like the lion then the mouse eats the lion. If the lion is round and the mouse does not like the lion then the lion likes the mouse. If the lion is nice then the lion likes the mouse. If something eats the mouse and it is not nice then it needs the mouse. If something likes the lion then it eats the mouse.
The mouse does not need the lion.
@0: The lion does not eat the mouse.[(triple1)] The lion is nice.[(triple4)] The lion is not big.[(triple2)] The lion is not kind.[(triple3)] The lion is round.[(triple5)] The lion likes the mouse.[(triple6 OR ((triple4) -> rule6))] The lion needs the mouse.[(triple7 OR ((triple3) -> rule2))] The mouse eats the lion.[(triple8)] The mouse is nice.[(triple9)] The mouse is round.[(triple10)] The mouse likes the lion.[(triple11)] The mouse needs the lion.[(triple12)] @1: The mouse eats the mouse.[(((triple11) -> rule8))]