The cow is nice. The cow is rough. The cow likes the dog. The cow visits the mouse. The dog chases the cow. The dog visits the cow. The mouse likes the dog. If something visits the cow then it visits the mouse.
The cow is green.
@0: The cow is nice.[(triple1)] The cow is rough.[(triple2)] The cow likes the dog.[(triple3)] The cow visits the mouse.[(triple4)] The dog chases the cow.[(triple5)] The dog visits the cow.[(triple6)] The mouse likes the dog.[(triple7)] @1: The dog visits the mouse.[(((triple6) -> rule1))]