The dog is green. The lion sees the mouse. The mouse is young. The rabbit sees the mouse. If something is young then it likes the dog. If something eats the mouse then the mouse sees the lion. If something is rough then it eats the mouse. If something is green then it eats the lion. If the dog eats the mouse then the mouse is nice. If something eats the mouse and it is green then it likes the lion.
The mouse does not eat the mouse.
@0: The dog is green.[(triple1)] The lion sees the mouse.[(triple2)] The mouse is young.[(triple3)] The rabbit sees the mouse.[(triple4)] @1: The dog eats the lion.[(((triple1) -> rule4))] The mouse likes the dog.[(((triple3) -> rule1))]