The lion is nice. The rabbit needs the lion. If something eats the lion and it does not see the rabbit then it sees the lion. If something needs the lion then it does not see the lion. If something sees the rabbit then the rabbit is cold. If something is young then it is cold. If the lion does not see the rabbit then the lion needs the rabbit. If something sees the lion then the lion needs the rabbit. If something sees the lion then it does not need the lion. If something eats the rabbit and the rabbit does not need the lion then the lion eats the rabbit.
The lion is not cold.
@0: The lion is nice.[(triple1)] The rabbit needs the lion.[(triple2)] @1: The rabbit does not see the lion.[(((triple2) -> rule2))]