The bear chases the cat. The cat chases the bear. The cat eats the bear. The cat needs the bear. The lion chases the mouse. The lion eats the cat. The mouse chases the lion. The mouse is green. The mouse needs the bear. The mouse needs the lion. If someone is young then they eat the lion. If the bear eats the mouse then the mouse chases the cat. If someone is young and they need the cat then they eat the lion. If someone eats the lion then the lion needs the bear. If someone needs the bear and the bear is big then they chase the bear. If someone chases the lion then they are young.
The lion does not need the bear.
@0: The bear chases the cat.[(triple1)] The cat chases the bear.[(triple2)] The cat eats the bear.[(triple3)] The cat needs the bear.[(triple4)] The lion chases the mouse.[(triple5)] The lion eats the cat.[(triple6)] The mouse chases the lion.[(triple7)] The mouse is green.[(triple8)] The mouse needs the bear.[(triple9)] The mouse needs the lion.[(triple10)] @1: The mouse is young.[(((triple7) -> rule6))] @2: The mouse eats the lion.[(((((triple7) -> rule6)) -> rule1))] @3: The lion needs the bear.[(((((((triple7) -> rule6)) -> rule1)) -> rule4))]