The bear needs the lion. The lion is green. The mouse needs the lion. If the lion eats the bear then the lion is young. If someone eats the lion then they need the mouse. If someone is young then they need the bear. If the mouse visits the bear then the bear does not need the lion. If the bear needs the mouse and the bear eats the mouse then the bear needs the lion. If someone needs the lion then the lion eats the bear.
The lion does not need the bear.
@0: The bear needs the lion.[(triple1)] The lion is green.[(triple2)] The mouse needs the lion.[(triple3)] @1: The lion eats the bear.[(((triple1) -> rule6) OR ((triple3) -> rule6))] @2: The lion is young.[(((((triple1) -> rule6)) -> rule1) OR ((((triple3) -> rule6)) -> rule1))] @3: The lion needs the bear.[(((((((triple1) -> rule6)) -> rule1)) -> rule3) OR ((((((triple3) -> rule6)) -> rule1)) -> rule3))]