The dog eats the mouse. The mouse eats the dog. If the mouse likes the dog and the mouse eats the dog then the dog eats the mouse. If the mouse eats the dog then the dog likes the mouse.
The mouse does not eat the dog.
@0: The dog eats the mouse.[(triple1)] The mouse eats the dog.[(triple2)] @1: The dog likes the mouse.[(((triple2) -> rule2))]