The cow is rough. The mouse eats the cow. The mouse needs the cow. If someone eats the cow then they are green. If the mouse does not visit the cow and the mouse does not eat the cow then the cow is rough. If someone eats the mouse then the mouse is red.
The mouse does not visit the mouse.
@0: The cow is rough.[(triple1)] The mouse eats the cow.[(triple2)] The mouse needs the cow.[(triple3)] @1: The mouse is green.[(((triple2) -> rule1))]