The bear eats the lion. The lion eats the tiger. The tiger needs the bear. If the lion is cold and the lion needs the tiger then the tiger eats the bear. If someone sees the tiger and they need the lion then the lion eats the tiger. If someone eats the lion then they need the bear. If the tiger sees the lion and the lion sees the bear then the bear needs the tiger. If someone needs the lion then they need the tiger. If someone needs the tiger and the tiger is cold then they eat the bear.
The bear needs the bear.
@0: The bear eats the lion.[(triple1)] The lion eats the tiger.[(triple2)] The tiger needs the bear.[(triple3)] @1: The bear needs the bear.[(((triple1) -> rule3))]