The dog eats the mouse. The dog does not like the mouse. The mouse eats the dog. If someone eats the dog then they see the dog. If the dog eats the mouse and the mouse is blue then the dog likes the mouse. If someone eats the mouse and the mouse is blue then the mouse eats the dog. If the mouse is blue and the mouse likes the dog then the mouse eats the dog. If someone eats the dog then the dog is blue. If someone sees the dog and the dog sees the mouse then the dog is blue. If someone likes the mouse and they see the mouse then the mouse likes the dog. If someone eats the dog and they are cold then the dog does not eat the mouse.
The mouse eats the dog.
@0: The dog does not like the mouse.[(triple2)] The dog eats the mouse.[(triple1)] The mouse eats the dog.[(triple3)] @1: The dog is blue.[(((triple3) -> rule5))] The mouse sees the dog.[(((triple3) -> rule1))]