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