The cat is kind. The cow visits the mouse. The mouse sees the cow. If something is kind then it sees the mouse.
The cow visits the cow.
@0: The cat is kind.[(triple1)] The cow visits the mouse.[(triple2)] The mouse sees the cow.[(triple3)] @1: The cat sees the mouse.[(((triple1) -> rule1))]