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