The cow is rough. The mouse is green. The mouse sees the cow. If something is green then it sees the mouse. If something sees the cow and the cow chases the mouse then it does not see the mouse. If the cow is kind then the cow sees the mouse. If something sees the mouse and the mouse is cold then the mouse does not chase the cow. If something sees the cow and the cow does not see the mouse then the cow visits the mouse. If the mouse visits the cow and the cow chases the mouse then the cow does not visit the mouse.
The mouse sees the mouse.
@0: The cow is rough.[(triple1)] The mouse is green.[(triple2)] The mouse sees the cow.[(triple3)] @1: The mouse sees the mouse.[(((triple2) -> rule1))]