The bear is nice. The mouse needs the tiger. The rabbit is kind. The tiger is green. If something needs the tiger then it eats the tiger. If something is green and it chases the rabbit then the rabbit chases the tiger. If something is nice and it chases the rabbit then the rabbit eats the mouse. If something chases the bear then the bear eats the rabbit. If something chases the bear then it chases the mouse. If the bear is rough and the bear needs the rabbit then the rabbit is green. If something is kind then it needs the mouse. If something eats the tiger then it chases the bear.
The tiger is not rough.
@0: The bear is nice.[(triple1)] The mouse needs the tiger.[(triple2)] The rabbit is kind.[(triple3)] The tiger is green.[(triple4)] @1: The mouse eats the tiger.[(((triple2) -> rule1))] The rabbit needs the mouse.[(((triple3) -> rule7))] @2: The mouse chases the bear.[(((((triple2) -> rule1)) -> rule8))] @3: The bear eats the rabbit.[(((((((triple2) -> rule1)) -> rule8)) -> rule4))] The mouse chases the mouse.[(((((((triple2) -> rule1)) -> rule8)) -> rule5))]