The lion is kind. The rabbit is cold. The tiger likes the lion. If something eats the tiger then it eats the lion. If the tiger is young then the tiger eats the lion. If something is kind then it eats the lion.
The rabbit is not cold.
@0: The lion is kind.[(triple1)] The rabbit is cold.[(triple2)] The tiger likes the lion.[(triple3)] @1: The lion eats the lion.[(((triple1) -> rule3))]