The dog likes the mouse. The mouse needs the dog. The tiger is not kind. If something is kind and it eats the tiger then the tiger does not like the dog. If something eats the mouse and the mouse is young then the mouse likes the dog. If the mouse is cold and the tiger does not need the mouse then the tiger eats the mouse. If something eats the tiger and it needs the dog then it likes the dog. If something needs the mouse then the mouse does not eat the tiger. If something eats the mouse then the mouse needs the tiger. If something likes the mouse and the mouse needs the dog then the mouse is not nice. If something eats the mouse and it does not need the mouse then it likes the mouse.
The mouse does not need the dog.
@0: The dog likes the mouse.[(triple1)] The mouse needs the dog.[(triple2)] The tiger is not kind.[(triple3)] @1: The mouse is not nice.[(((triple1 triple2) -> rule7))]