The bear eats the lion. The bear needs the mouse. The lion is rough. The lion is young. The lion visits the mouse. The mouse eats the bear. The mouse eats the rabbit. The mouse needs the lion. The mouse needs the rabbit. The rabbit is cold. The rabbit is rough. The rabbit needs the mouse. If something needs the mouse and the mouse needs the rabbit then the rabbit needs the bear. If something is rough then it eats the mouse. If something visits the bear then the bear is rough. If the bear is rough and the bear visits the rabbit then the rabbit is rough. If something needs the mouse then the mouse is rough. If the rabbit eats the lion then the lion eats the bear.
The bear does not eat the mouse.
@0: The bear eats the lion.[(triple1)] The bear needs the mouse.[(triple2)] The lion is rough.[(triple3)] The lion is young.[(triple4)] The lion visits the mouse.[(triple5)] The mouse eats the bear.[(triple6)] The mouse eats the rabbit.[(triple7)] The mouse needs the lion.[(triple8)] The mouse needs the rabbit.[(triple9)] The rabbit is cold.[(triple10)] The rabbit is rough.[(triple11)] The rabbit needs the mouse.[(triple12)] @1: The lion eats the mouse.[(((triple3) -> rule2))] The mouse is rough.[(((triple12) -> rule5) OR ((triple2) -> rule5))] The rabbit eats the mouse.[(((triple11) -> rule2))] The rabbit needs the bear.[(((triple12 triple9) -> rule1) OR ((triple2 triple9) -> rule1))] @2: The mouse eats the mouse.[(((((triple12) -> rule5)) -> rule2) OR ((((triple2) -> rule5)) -> rule2))]