The cow is rough. The cow visits the mouse. The mouse visits the cow. If someone needs the cow then the cow visits the mouse. If someone visits the cow then they are rough. If someone is nice then they need the mouse.
The mouse does not need the mouse.
@0: The cow is rough.[(triple1)] The cow visits the mouse.[(triple2)] The mouse visits the cow.[(triple3)] @1: The mouse is rough.[(((triple3) -> rule2))]