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