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