The lion visits the rabbit. The rabbit does not eat the tiger. The rabbit is cold. The rabbit needs the lion. The rabbit visits the lion. The tiger does not eat the lion. The tiger eats the rabbit. The tiger is not cold. The tiger does not need the lion. The tiger does not visit the rabbit. If something eats the rabbit then the rabbit eats the lion.
The rabbit does not eat the lion.
@0: The lion visits the rabbit.[(triple1)] The rabbit does not eat the tiger.[(triple2)] The rabbit is cold.[(triple3)] The rabbit needs the lion.[(triple4)] The rabbit visits the lion.[(triple5)] The tiger does not eat the lion.[(triple6)] The tiger does not need the lion.[(triple9)] The tiger does not visit the rabbit.[(triple10)] The tiger eats the rabbit.[(triple7)] The tiger is not cold.[(triple8)] @1: The rabbit eats the lion.[(((triple7) -> rule1))]