The lion likes the rabbit. The rabbit likes the tiger. The tiger is round. If something likes the tiger then the tiger likes the rabbit. If something needs the rabbit then it visits the tiger. If something needs the lion and it likes the rabbit then the lion likes the rabbit. If something is nice then it likes the rabbit. If something visits the tiger and it likes the lion then it likes the rabbit. If something likes the rabbit and it is kind then the rabbit is big.
The tiger visits the rabbit.
@0: The lion likes the rabbit.[(triple1)] The rabbit likes the tiger.[(triple2)] The tiger is round.[(triple3)] @1: The tiger likes the rabbit.[(((triple2) -> rule1))]