The mouse is green. The tiger likes the mouse. If the tiger likes the mouse then the tiger does not chase the mouse. If something is kind then it does not like the mouse. If something likes the mouse then the mouse is kind. If the tiger chases the mouse and the mouse likes the tiger then the tiger is not red. If the tiger does not chase the mouse then the mouse chases the tiger. If something chases the tiger then it is red. If something is big then it is red. If something is red then it does not eat the tiger.
The tiger does not like the tiger.
@0: The mouse is green.[(triple1)] The tiger likes the mouse.[(triple2)] @1: The mouse is kind.[(((triple2) -> rule3))] The tiger does not chase the mouse.[(((triple2) -> rule1))] @2: The mouse chases the tiger.[(((((triple2) -> rule1)) -> rule5))] The mouse does not like the mouse.[(((((triple2) -> rule3)) -> rule2))] @3: The mouse is red.[(((((((triple2) -> rule1)) -> rule5)) -> rule6))] @4: The mouse does not eat the tiger.[(((((((((triple2) -> rule1)) -> rule5)) -> rule6)) -> rule8))]