The mouse chases the squirrel. The mouse eats the squirrel. The mouse eats the tiger. The rabbit chases the tiger. The rabbit is green. The squirrel eats the mouse. The tiger eats the squirrel. If something is cold and blue then it likes the tiger. If the rabbit likes the tiger and the rabbit chases the squirrel then the rabbit eats the mouse. If the tiger likes the mouse and the tiger likes the rabbit then the mouse eats the tiger. If something likes the tiger then the tiger is cold. If the squirrel eats the rabbit then the rabbit likes the mouse. If something is blue then it eats the tiger. If something likes the rabbit and it is blue then the rabbit is green. If something is green then it eats the tiger.
The mouse eats the tiger.
@0: The mouse chases the squirrel.[(triple1)] The mouse eats the squirrel.[(triple2)] The mouse eats the tiger.[(triple3)] The rabbit chases the tiger.[(triple4)] The rabbit is green.[(triple5)] The squirrel eats the mouse.[(triple6)] The tiger eats the squirrel.[(triple7)] @1: The rabbit eats the tiger.[(((triple5) -> rule8))]