The cat needs the lion. The cow does not eat the tiger. The lion chases the tiger. The tiger does not chase the cat. If something is big and it does not need the lion then the lion chases the cat. If the lion chases the tiger then the lion needs the cat.
The lion does not chase the cat.
@0: The cat needs the lion.[(triple1)] The cow does not eat the tiger.[(triple2)] The lion chases the tiger.[(triple3)] The tiger does not chase the cat.[(triple4)] @1: The lion needs the cat.[(((triple3) -> rule2))]