The dog sees the tiger. The mouse visits the tiger. The tiger is not rough. If something chases the mouse then the mouse does not see the tiger. If something chases the mouse then the mouse is big. If something chases the tiger then it visits the dog. If something sees the mouse then the mouse sees the dog. If something visits the mouse and it sees the mouse then the mouse is not young. If something sees the tiger then it sees the mouse. If something visits the tiger and it visits the dog then the tiger visits the dog. If something visits the mouse and it does not see the tiger then it does not see the dog.
The dog chases the tiger.
@0: The dog sees the tiger.[(triple1)] The mouse visits the tiger.[(triple2)] The tiger is not rough.[(triple3)] @1: The dog sees the mouse.[(((triple1) -> rule6))] @2: The mouse sees the dog.[(((((triple1) -> rule6)) -> rule4))]