The mouse eats the tiger. The tiger eats the mouse. If something eats the tiger then the tiger chases the mouse. If something sees the mouse and it chases the tiger then the mouse sees the tiger. If something eats the tiger and the tiger sees the mouse then the tiger is rough. If something is big then it sees the tiger. If something sees the mouse and it is rough then it eats the tiger. If something sees the tiger then the tiger eats the mouse. If something sees the tiger then the tiger eats the mouse. If something sees the mouse and the mouse chases the tiger then the tiger sees the mouse.
The tiger eats the tiger.
@0: The mouse eats the tiger.[(triple1)] The tiger eats the mouse.[(triple2)] @1: The tiger chases the mouse.[(((triple1) -> rule1))]