The rabbit is round. The tiger does not eat the rabbit. The tiger does not visit the rabbit. If something is nice and young then it visits the tiger. If the rabbit eats the tiger and the tiger is young then the rabbit is young. If something eats the rabbit then the rabbit is young. If something eats the tiger then it is young. If the rabbit visits the tiger and the rabbit chases the tiger then the tiger is young. If something is round then it does not eat the tiger. If something is green then it eats the tiger. If the tiger visits the rabbit and the tiger chases the rabbit then the tiger is rough.
The tiger is not young.
@0: The rabbit is round.[(triple1)] The tiger does not eat the rabbit.[(triple2)] The tiger does not visit the rabbit.[(triple3)] @1: The rabbit does not eat the tiger.[(((triple1) -> rule6))]