The mouse is green. The mouse is red. The mouse is rough. The mouse sees the squirrel. The squirrel is green. The squirrel is nice. The squirrel sees the mouse. The tiger chases the mouse. The tiger eats the squirrel. The tiger is green. The tiger is red. The tiger sees the mouse. If something eats the squirrel then it eats the tiger.
The tiger eats the squirrel.
@0: The mouse is green.[(triple1)] The mouse is red.[(triple2)] The mouse is rough.[(triple3)] The mouse sees the squirrel.[(triple4)] The squirrel is green.[(triple5)] The squirrel is nice.[(triple6)] The squirrel sees the mouse.[(triple7)] The tiger chases the mouse.[(triple8)] The tiger eats the squirrel.[(triple9)] The tiger is green.[(triple10)] The tiger is red.[(triple11)] The tiger sees the mouse.[(triple12)] @1: The tiger eats the tiger.[(((triple9) -> rule1))]