The cat likes the mouse. The dog is nice. The mouse chases the dog. The tiger likes the dog. If something eats the tiger then the tiger likes the dog. If something chases the dog then it does not chase the cat.
The mouse does not eat the dog.
@0: The cat likes the mouse.[(triple1)] The dog is nice.[(triple2)] The mouse chases the dog.[(triple3)] The tiger likes the dog.[(triple4)] @1: The mouse does not chase the cat.[(((triple3) -> rule2))]