The bald eagle is big. The bald eagle visits the dog. The bald eagle visits the lion. The dog needs the bald eagle. The lion likes the rabbit. The rabbit likes the dog. The rabbit visits the dog. If something likes the rabbit then it needs the lion.
The rabbit does not like the dog.
@0: The bald eagle is big.[(triple1)] The bald eagle visits the dog.[(triple2)] The bald eagle visits the lion.[(triple3)] The dog needs the bald eagle.[(triple4)] The lion likes the rabbit.[(triple5)] The rabbit likes the dog.[(triple6)] The rabbit visits the dog.[(triple7)] @1: The lion needs the lion.[(((triple5) -> rule1))]