The cow eats the mouse. The mouse is green. If something likes the cow then it is kind. If something eats the mouse then the mouse eats the cow. If something likes the cow and it is nice then the cow is not young. If the cow is kind and the cow is not blue then the cow chases the mouse. If something likes the cow then the cow chases the mouse. If something is blue and it chases the cow then it eats the cow.
The mouse chases the mouse.
@0: The cow eats the mouse.[(triple1)] The mouse is green.[(triple2)] @1: The mouse eats the cow.[(((triple1) -> rule2))]