The dog is blue. The dog likes the mouse. The mouse is blue. The mouse is cold. The mouse likes the dog. The mouse likes the rabbit. The mouse visits the dog. The mouse visits the rabbit. The rabbit eats the dog. The rabbit eats the mouse. The rabbit is young. The rabbit likes the mouse. If something visits the dog then the dog eats the mouse. If something visits the mouse and it is cold then it is young. If something is blue and it likes the rabbit then it eats the mouse.
The rabbit does not eat the mouse.
@0: The dog is blue.[(triple1)] The dog likes the mouse.[(triple2)] The mouse is blue.[(triple3)] The mouse is cold.[(triple4)] The mouse likes the dog.[(triple5)] The mouse likes the rabbit.[(triple6)] The mouse visits the dog.[(triple7)] The mouse visits the rabbit.[(triple8)] The rabbit eats the dog.[(triple9)] The rabbit eats the mouse.[(triple10)] The rabbit is young.[(triple11)] The rabbit likes the mouse.[(triple12)] @1: The dog eats the mouse.[(((triple7) -> rule1))] The mouse eats the mouse.[(((triple3 triple6) -> rule3))]