The dog does not eat the mouse. The dog is big. The mouse chases the tiger. The mouse eats the tiger. The mouse is cold. The mouse visits the dog. The tiger chases the dog. The tiger does not chase the mouse. The tiger eats the dog. The tiger eats the mouse. If someone eats the tiger then they are big. If someone visits the tiger then the tiger does not visit the dog. If the mouse eats the tiger then the tiger visits the mouse. If someone visits the mouse then they visit the tiger. If someone chases the mouse and they are nice then they eat the mouse. If the mouse visits the dog then the mouse eats the dog. If someone is nice then they chase the mouse. If someone eats the dog and they are green then the dog eats the tiger.
The tiger eats the mouse.
@0: The dog does not eat the mouse.[(triple1)] The dog is big.[(triple2)] The mouse chases the tiger.[(triple3)] The mouse eats the tiger.[(triple4)] The mouse is cold.[(triple5)] The mouse visits the dog.[(triple6)] The tiger chases the dog.[(triple7)] The tiger does not chase the mouse.[(triple8)] The tiger eats the dog.[(triple9)] The tiger eats the mouse.[(triple10)] @1: The mouse eats the dog.[(((triple6) -> rule6))] The mouse is big.[(((triple4) -> rule1))] The tiger visits the mouse.[(((triple4) -> rule3))] @2: The tiger visits the tiger.[(((((triple4) -> rule3)) -> rule4))] @3: The tiger does not visit the dog.[(((((((triple4) -> rule3)) -> rule4)) -> rule2))]