The lion is kind. The lion needs the tiger. The tiger is cold. If someone is red then they eat the tiger. If someone eats the tiger and the tiger likes the lion then they are cold. If someone is nice and they need the tiger then the tiger likes the lion. If someone eats the lion and the lion eats the tiger then the tiger needs the lion. If someone needs the tiger then they eat the lion. If the tiger is nice then the tiger needs the lion.
The tiger is not cold.
@0: The lion is kind.[(triple1)] The lion needs the tiger.[(triple2)] The tiger is cold.[(triple3)] @1: The lion eats the lion.[(((triple2) -> rule5))]