The bear is nice. The bear is red. The bear does not need the mouse. The cat chases the bear. The cat chases the mouse. The lion eats the bear. The lion eats the cat. The lion needs the bear. The lion needs the cat. The mouse eats the lion. If someone eats the mouse then the mouse chases the bear. If the mouse chases the bear then the bear eats the cat. If someone needs the cat and the cat is red then they eat the bear. If someone chases the bear then they do not eat the bear. If someone is nice then they do not eat the bear. If someone eats the cat then they do not chase the cat. If someone chases the lion and they need the lion then they do not eat the mouse. If someone needs the lion then they eat the mouse. If someone chases the bear then the bear needs the lion.
The mouse eats the mouse.
@0: The bear does not need the mouse.[(triple3)] The bear is nice.[(triple1)] The bear is red.[(triple2)] The cat chases the bear.[(triple4)] The cat chases the mouse.[(triple5)] The lion eats the bear.[(triple6)] The lion eats the cat.[(triple7)] The lion needs the bear.[(triple8)] The lion needs the cat.[(triple9)] The mouse eats the lion.[(triple10)] @1: The bear does not eat the bear.[(((triple1) -> rule5))] The bear needs the lion.[(((triple4) -> rule9))] The cat does not eat the bear.[(((triple4) -> rule4))] The lion does not chase the cat.[(((triple7) -> rule6))] @2: The bear eats the mouse.[(((((triple4) -> rule9)) -> rule8))] @3: The mouse chases the bear.[(((((((triple4) -> rule9)) -> rule8)) -> rule1))] @4: The bear eats the cat.[(((((((((triple4) -> rule9)) -> rule8)) -> rule1)) -> rule2))] The mouse does not eat the bear.[(((((((((triple4) -> rule9)) -> rule8)) -> rule1)) -> rule4))] @5: The bear does not chase the cat.[(((((((((((triple4) -> rule9)) -> rule8)) -> rule1)) -> rule2)) -> rule6))]