The bear is red. The bear needs the tiger. The mouse chases the bear. The mouse eats the tiger. The rabbit chases the bear. The rabbit chases the mouse. The rabbit is blue. The rabbit needs the tiger. The tiger is blue. The tiger needs the rabbit. If the tiger eats the bear then the bear eats the mouse. If something is blue then it is nice. If something chases the tiger then it needs the bear. If something chases the tiger and the tiger is red then it chases the mouse. If something chases the bear then it eats the mouse. If something eats the bear then it chases the tiger.
The tiger does not chase the tiger.
@0: The bear is red.[(triple1)] The bear needs the tiger.[(triple2)] The mouse chases the bear.[(triple3)] The mouse eats the tiger.[(triple4)] The rabbit chases the bear.[(triple5)] The rabbit chases the mouse.[(triple6)] The rabbit is blue.[(triple7)] The rabbit needs the tiger.[(triple8)] The tiger is blue.[(triple9)] The tiger needs the rabbit.[(triple10)] @1: The mouse eats the mouse.[(((triple3) -> rule5))] The rabbit eats the mouse.[(((triple5) -> rule5))] The rabbit is nice.[(((triple7) -> rule2))] The tiger is nice.[(((triple9) -> rule2))]