The cow is big. The mouse chases the cow. The mouse likes the cow. If something chases the mouse and the mouse is kind then the mouse likes the cow. If something likes the cow then the cow likes the mouse. If something likes the mouse then it is kind.
The cow does not visit the mouse.
@0: The cow is big.[(triple1)] The mouse chases the cow.[(triple2)] The mouse likes the cow.[(triple3)] @1: The cow likes the mouse.[(((triple3) -> rule2))] @2: The cow is kind.[(((((triple3) -> rule2)) -> rule3))]