The cow is green. The mouse does not need the cow. The mouse sees the cow. If something sees the cow then it is kind. If something needs the cow then the cow does not need the mouse. If the mouse likes the cow and the cow sees the mouse then the cow is not round. If the mouse likes the cow and the mouse sees the cow then the cow is green. If something likes the mouse and the mouse is not green then it needs the mouse. If something is kind and it does not need the mouse then the mouse is kind.
The mouse does not need the mouse.
@0: The cow is green.[(triple1)] The mouse does not need the cow.[(triple2)] The mouse sees the cow.[(triple3)] @1: The mouse is kind.[(((triple3) -> rule1))]