The mouse eats the squirrel. The mouse sees the rabbit. The mouse sees the tiger. The rabbit chases the mouse. The rabbit eats the mouse. The rabbit eats the tiger. The rabbit sees the mouse. The squirrel is green. The squirrel is red. The squirrel sees the mouse. The tiger chases the rabbit. The tiger is green. The tiger is kind. The tiger is nice. The tiger sees the rabbit. If the tiger is nice then the tiger eats the rabbit. If someone eats the mouse then they eat the squirrel.
The squirrel sees the tiger.
@0: The mouse eats the squirrel.[(triple1)] The mouse sees the rabbit.[(triple2)] The mouse sees the tiger.[(triple3)] The rabbit chases the mouse.[(triple4)] The rabbit eats the mouse.[(triple5)] The rabbit eats the tiger.[(triple6)] The rabbit sees the mouse.[(triple7)] The squirrel is green.[(triple8)] The squirrel is red.[(triple9)] The squirrel sees the mouse.[(triple10)] The tiger chases the rabbit.[(triple11)] The tiger is green.[(triple12)] The tiger is kind.[(triple13)] The tiger is nice.[(triple14)] The tiger sees the rabbit.[(triple15)] @1: The rabbit eats the squirrel.[(((triple5) -> rule2))] The tiger eats the rabbit.[(((triple14) -> rule1))]