The dog likes the mouse. The mouse chases the tiger. The tiger likes the dog. If the dog does not like the tiger then the dog does not eat the mouse. If the dog does not like the tiger then the tiger likes the dog. If someone likes the dog then they are nice.
The dog likes the mouse.
@0: The dog likes the mouse.[(triple1)] The mouse chases the tiger.[(triple2)] The tiger likes the dog.[(triple3)] @1: The tiger is nice.[(((triple3) -> rule3))]