The dog needs the mouse. The mouse needs the rabbit. The rabbit chases the dog. The rabbit needs the mouse. The rabbit needs the tiger. The tiger chases the dog. The tiger likes the dog. If the tiger is round then the tiger chases the mouse. If someone needs the mouse then the mouse is kind. If someone is cold and not nice then they are round.
The tiger does not chase the mouse.
@0: The dog needs the mouse.[(triple1)] The mouse needs the rabbit.[(triple2)] The rabbit chases the dog.[(triple3)] The rabbit needs the mouse.[(triple4)] The rabbit needs the tiger.[(triple5)] The tiger chases the dog.[(triple6)] The tiger likes the dog.[(triple7)] @1: The mouse is kind.[(((triple1) -> rule2) OR ((triple4) -> rule2))]