The mouse eats the tiger. The mouse is kind. The tiger is green. The tiger is kind. The tiger is rough. The tiger likes the mouse. The tiger needs the mouse. If something likes the tiger then it is green. If the tiger likes the mouse then the tiger eats the mouse. If the mouse eats the tiger then the tiger is cold.
The tiger is not green.
@0: The mouse eats the tiger.[(triple1)] The mouse is kind.[(triple2)] The tiger is green.[(triple3)] The tiger is kind.[(triple4)] The tiger is rough.[(triple5)] The tiger likes the mouse.[(triple6)] The tiger needs the mouse.[(triple7)] @1: The tiger eats the mouse.[(((triple6) -> rule2))] The tiger is cold.[(((triple1) -> rule3))]