The bald eagle eats the tiger. The cow is round. The cow does not visit the bald eagle. The cow does not visit the lion. The lion eats the bald eagle. The lion is round. The lion needs the bald eagle. The tiger does not eat the bald eagle. The tiger does not need the lion. The tiger does not visit the lion. If the tiger eats the bald eagle and the bald eagle visits the cow then the bald eagle eats the tiger. If the lion is round then the lion is kind. If something eats the lion then the lion visits the tiger.
The bald eagle needs the bald eagle.
@0: The bald eagle eats the tiger.[(triple1)] The cow does not visit the bald eagle.[(triple3)] The cow does not visit the lion.[(triple4)] The cow is round.[(triple2)] The lion eats the bald eagle.[(triple5)] The lion is round.[(triple6)] The lion needs the bald eagle.[(triple7)] The tiger does not eat the bald eagle.[(triple8)] The tiger does not need the lion.[(triple9)] The tiger does not visit the lion.[(triple10)] @1: The lion is kind.[(((triple6) -> rule2))]