The lion chases the tiger. The mouse likes the lion. The tiger chases the mouse. The tiger eats the lion. The tiger eats the mouse. The tiger is rough. The tiger likes the lion. If something likes the lion then it eats the lion. If the tiger eats the mouse then the mouse eats the lion. If something eats the tiger then the tiger likes the lion. If something likes the tiger and it chases the lion then it likes the lion. If something is round then it likes the tiger. If something is blue and it chases the lion then the lion is blue.
The lion does not chase the tiger.
@0: The lion chases the tiger.[(triple1)] The mouse likes the lion.[(triple2)] The tiger chases the mouse.[(triple3)] The tiger eats the lion.[(triple4 OR ((triple7) -> rule1))] The tiger eats the mouse.[(triple5)] The tiger is rough.[(triple6)] The tiger likes the lion.[(triple7)] @1: The mouse eats the lion.[(((triple2) -> rule1) OR ((triple5) -> rule2))]