The cat eats the rabbit. The rabbit eats the tiger. The tiger sees the cat. If the tiger does not see the rabbit then the tiger is round. If the cat needs the tiger then the tiger is round. If something needs the cat then the cat does not need the tiger. If something sees the tiger then the tiger is big. If the tiger is round then the tiger needs the rabbit. If something eats the rabbit then it needs the tiger.
The tiger needs the rabbit.
@0: The cat eats the rabbit.[(triple1)] The rabbit eats the tiger.[(triple2)] The tiger sees the cat.[(triple3)] @1: The cat needs the tiger.[(((triple1) -> rule6))] @2: The tiger is round.[(((((triple1) -> rule6)) -> rule2))] @3: The tiger needs the rabbit.[(((((((triple1) -> rule6)) -> rule2)) -> rule5))]