The bear needs the tiger. The cat eats the lion. The lion sees the tiger. The tiger sees the cat. If the cat does not eat the tiger then the cat eats the bear. If someone eats the lion then the lion is young.
The cat eats the lion.
@0: The bear needs the tiger.[(triple1)] The cat eats the lion.[(triple2)] The lion sees the tiger.[(triple3)] The tiger sees the cat.[(triple4)] @1: The lion is young.[(((triple2) -> rule2))]