The rabbit needs the tiger. The tiger does not like the rabbit. If something needs the rabbit and it likes the tiger then the rabbit needs the tiger. If something needs the tiger then it eats the tiger. If something eats the rabbit then it needs the rabbit. If something eats the tiger and it is kind then the tiger is not green. If something is red then it eats the rabbit. If something eats the tiger then it eats the rabbit. If something likes the rabbit and it is young then it is green. If the tiger is cold and the tiger needs the rabbit then the tiger eats the rabbit.
The tiger does not eat the rabbit.
@0: The rabbit needs the tiger.[(triple1)] The tiger does not like the rabbit.[(triple2)] @1: The rabbit eats the tiger.[(((triple1) -> rule2))] @2: The rabbit eats the rabbit.[(((((triple1) -> rule2)) -> rule6))] @3: The rabbit needs the rabbit.[(((((((triple1) -> rule2)) -> rule6)) -> rule3))]