The dog eats the mouse. The dog is nice. The dog needs the mouse. The mouse eats the dog. The mouse needs the dog. The mouse visits the tiger. The tiger does not visit the dog. If something visits the mouse and the mouse is not nice then the mouse visits the tiger. If something visits the tiger then the tiger eats the mouse. If something eats the tiger then the tiger eats the mouse. If the dog needs the tiger and the dog is not green then the tiger does not eat the mouse. If something eats the dog and it does not visit the dog then the dog is round. If something needs the tiger and the tiger is blue then it does not eat the dog. If something is green and it needs the mouse then the mouse is green. If something visits the tiger and the tiger is green then the tiger visits the mouse.
The mouse visits the tiger.
@0: The dog eats the mouse.[(triple1)] The dog is nice.[(triple2)] The dog needs the mouse.[(triple3)] The mouse eats the dog.[(triple4)] The mouse needs the dog.[(triple5)] The mouse visits the tiger.[(triple6)] The tiger does not visit the dog.[(triple7)] @1: The tiger eats the mouse.[(((triple6) -> rule2))]