The cow is big. The rabbit sees the cow. The tiger needs the cow. If something is green and rough then it needs the tiger. If the tiger is not kind then the tiger is cold. If the cow does not need the rabbit then the rabbit does not need the cow. If something eats the tiger and it needs the cow then the tiger sees the rabbit. If something sees the cow then it eats the tiger. If something eats the tiger then it eats the cow.
The tiger does not eat the tiger.
@0: The cow is big.[(triple1)] The rabbit sees the cow.[(triple2)] The tiger needs the cow.[(triple3)] @1: The rabbit eats the tiger.[(((triple2) -> rule5))] @2: The rabbit eats the cow.[(((((triple2) -> rule5)) -> rule6))]