The cat is kind. The cow needs the tiger. The lion needs the tiger. The tiger sees the cow. If something sees the cow then it needs the lion. If something sees the cat then it needs the cow. If the lion does not eat the cow then the lion is not green.
The lion needs the tiger.
@0: The cat is kind.[(triple1)] The cow needs the tiger.[(triple2)] The lion needs the tiger.[(triple3)] The tiger sees the cow.[(triple4)] @1: The tiger needs the lion.[(((triple4) -> rule1))]