The dog eats the mouse. The lion is cold. The mouse is blue. If something eats the mouse then the mouse likes the lion. If the dog eats the lion and the lion eats the dog then the dog needs the lion. If something is round then it likes the mouse. If something needs the mouse and it needs the lion then the lion is blue. If something is big then it eats the lion. If the lion needs the dog then the lion is big. If something eats the lion and it needs the dog then the lion eats the dog. If something needs the dog then the dog is big.
The dog does not like the mouse.
@0: The dog eats the mouse.[(triple1)] The lion is cold.[(triple2)] The mouse is blue.[(triple3)] @1: The mouse likes the lion.[(((triple1) -> rule1))]