The bear chases the tiger. The bear is blue. The bear is rough. The bear does not need the dog. The bear needs the mouse. The dog chases the mouse. The dog is young. The dog needs the tiger. The mouse eats the bear. The mouse eats the tiger. The mouse needs the dog. The mouse needs the tiger. The tiger does not eat the dog. The tiger eats the mouse. The tiger is blue. The tiger needs the mouse. If the mouse chases the bear and the mouse needs the tiger then the bear eats the tiger. If someone eats the dog then the dog eats the bear. If the tiger needs the mouse then the mouse eats the dog. If the dog eats the bear then the dog needs the bear. If someone needs the mouse then they need the tiger. If someone eats the bear and the bear is green then the bear does not eat the dog. If someone chases the tiger and they do not need the bear then the tiger is blue. If the tiger is kind and the tiger is not blue then the tiger does not chase the dog.
The bear does not eat the tiger.
@0: The bear chases the tiger.[(triple1)] The bear does not need the dog.[(triple4)] The bear is blue.[(triple2)] The bear is rough.[(triple3)] The bear needs the mouse.[(triple5)] The dog chases the mouse.[(triple6)] The dog is young.[(triple7)] The dog needs the tiger.[(triple8)] The mouse eats the bear.[(triple9)] The mouse eats the tiger.[(triple10)] The mouse needs the dog.[(triple11)] The mouse needs the tiger.[(triple12)] The tiger does not eat the dog.[(triple13)] The tiger eats the mouse.[(triple14)] The tiger is blue.[(triple15)] The tiger needs the mouse.[(triple16)] @1: The bear needs the tiger.[(((triple5) -> rule5))] The mouse eats the dog.[(((triple16) -> rule3))] The tiger needs the tiger.[(((triple16) -> rule5))] @2: The dog eats the bear.[(((((triple16) -> rule3)) -> rule2))] @3: The dog needs the bear.[(((((((triple16) -> rule3)) -> rule2)) -> rule4))]