The bald eagle needs the lion. The dog is nice. The lion needs the bald eagle. The rabbit needs the bald eagle. If the rabbit needs the lion then the lion visits the rabbit. If something needs the rabbit then the rabbit eats the dog. If something is nice then it needs the dog. If the dog visits the lion then the lion is round. If something is round then it does not eat the lion. If something needs the dog then it is round. If the rabbit eats the dog and the rabbit eats the bald eagle then the dog is cold. If something eats the rabbit and it needs the dog then the rabbit visits the dog.
The lion visits the rabbit.
@0: The bald eagle needs the lion.[(triple1)] The dog is nice.[(triple2)] The lion needs the bald eagle.[(triple3)] The rabbit needs the bald eagle.[(triple4)] @1: The dog needs the dog.[(((triple2) -> rule3))] @2: The dog is round.[(((((triple2) -> rule3)) -> rule6))] @3: The dog does not eat the lion.[(((((((triple2) -> rule3)) -> rule6)) -> rule5))]