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