The bear needs the tiger. The dog is green. The dog is kind. The mouse eats the dog. The mouse is green. The mouse is kind. The tiger eats the bear. If something is big and it eats the mouse then the mouse is rough. If something is green and it eats the dog then the dog sees the tiger. If something sees the tiger and the tiger needs the mouse then the mouse needs the dog. If something eats the bear and it eats the tiger then the tiger is kind. If something needs the bear then the bear sees the dog. If something eats the dog then the dog eats the tiger. If something eats the bear then the bear needs the mouse. If something is kind then it eats the mouse.
The mouse does not need the dog.
@0: The bear needs the tiger.[(triple1)] The dog is green.[(triple2)] The dog is kind.[(triple3)] The mouse eats the dog.[(triple4)] The mouse is green.[(triple5)] The mouse is kind.[(triple6)] The tiger eats the bear.[(triple7)] @1: The bear needs the mouse.[(((triple7) -> rule7))] The dog eats the mouse.[(((triple3) -> rule8))] The dog eats the tiger.[(((triple4) -> rule6))] The dog sees the tiger.[(((triple5 triple4) -> rule2))] The mouse eats the mouse.[(((triple6) -> rule8))]