The dog eats the mouse. The mouse is round. The mouse likes the rabbit. The mouse needs the dog. The rabbit likes the dog. The tiger eats the mouse. The tiger likes the dog. If something eats the mouse and the mouse is round then it likes the dog. If something eats the rabbit then it is red. If the rabbit likes the tiger and the tiger needs the mouse then the tiger eats the rabbit.
The dog is not red.
@0: The dog eats the mouse.[(triple1)] The mouse is round.[(triple2)] The mouse likes the rabbit.[(triple3)] The mouse needs the dog.[(triple4)] The rabbit likes the dog.[(triple5)] The tiger eats the mouse.[(triple6)] The tiger likes the dog.[(triple7 OR ((triple6 triple2) -> rule1))] @1: The dog likes the dog.[(((triple1 triple2) -> rule1))]