The mouse eats the tiger. The rabbit chases the mouse. The rabbit chases the tiger. The rabbit is big. The tiger is blue. The tiger is kind. The tiger needs the mouse. All kind things are nice. If something chases the tiger then it does not eat the rabbit. If the rabbit is kind and the rabbit does not eat the mouse then the mouse does not chase the tiger. If something is nice then it chases the rabbit. If the tiger eats the rabbit then the rabbit does not chase the mouse. If something chases the rabbit then it eats the tiger.
The tiger does not eat the tiger.
@0: The mouse eats the tiger.[(triple1)] The rabbit chases the mouse.[(triple2)] The rabbit chases the tiger.[(triple3)] The rabbit is big.[(triple4)] The tiger is blue.[(triple5)] The tiger is kind.[(triple6)] The tiger needs the mouse.[(triple7)] @1: The rabbit does not eat the rabbit.[(((triple3) -> rule2))] The tiger is nice.[(((triple6) -> rule1))] @2: The tiger chases the rabbit.[(((((triple6) -> rule1)) -> rule4))] @3: The tiger eats the tiger.[(((((((triple6) -> rule1)) -> rule4)) -> rule6))]