The dog likes the mouse. The mouse likes the dog. If the mouse chases the dog then the mouse visits the dog. If someone chases the mouse then they are nice. If someone likes the dog then they like the mouse. If someone likes the dog and the dog is blue then they chase the mouse. If the mouse likes the dog then the mouse chases the dog. If the mouse is rough and the mouse chases the dog then the mouse is big.
The dog does not chase the dog.
@0: The dog likes the mouse.[(triple1)] The mouse likes the dog.[(triple2)] @1: The mouse chases the dog.[(((triple2) -> rule5))] The mouse likes the mouse.[(((triple2) -> rule3))] @2: The mouse visits the dog.[(((((triple2) -> rule5)) -> rule1))]