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