The cow is kind. The cow visits the dog. The dog chases the cow. The dog is nice. The dog visits the mouse. The mouse is nice. The mouse is round. If someone is round then they chase the mouse.
The mouse is round.
@0: The cow is kind.[(triple1)] The cow visits the dog.[(triple2)] The dog chases the cow.[(triple3)] The dog is nice.[(triple4)] The dog visits the mouse.[(triple5)] The mouse is nice.[(triple6)] The mouse is round.[(triple7)] @1: The mouse chases the mouse.[(((triple7) -> rule1))]