The bear eats the lion. The lion likes the mouse. The mouse needs the lion. If someone likes the lion and they like the bear then the bear eats the lion. If someone is green and they eat the lion then they need the mouse. If someone needs the lion and the lion likes the mouse then the mouse eats the lion. If someone needs the bear and they eat the mouse then the mouse likes the bear. If someone likes the lion then the lion eats the bear. If someone needs the lion and the lion is big then the lion needs the mouse. If someone eats the lion then the lion is green. If someone is green then they eat the lion.
The lion does not need the mouse.
@0: The bear eats the lion.[(triple1)] The lion likes the mouse.[(triple2)] The mouse needs the lion.[(triple3)] @1: The lion is green.[(((triple1) -> rule7) OR ((((triple3 triple2) -> rule3)) -> rule7))] The mouse eats the lion.[(((triple3 triple2) -> rule3))] @2: The lion eats the lion.[(((((triple1) -> rule7)) -> rule8) OR ((((((triple3 triple2) -> rule3)) -> rule7)) -> rule8))] @3: The lion needs the mouse.[(((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule8)) -> rule2) OR ((((((triple3 triple2) -> rule3)) -> rule7) ((((triple1) -> rule7)) -> rule8)) -> rule2) OR ((((triple1) -> rule7) ((((((triple3 triple2) -> rule3)) -> rule7)) -> rule8)) -> rule2) OR ((((((triple3 triple2) -> rule3)) -> rule7) ((((((triple3 triple2) -> rule3)) -> rule7)) -> rule8)) -> rule2))]