The bald eagle sees the lion. The cat sees the bald eagle. The cow sees the bald eagle. The lion is round. If the bald eagle is kind then the bald eagle visits the cat. If something visits the cat then the cat eats the cow. If something visits the cat and it sees the cat then the cat is round. If something visits the lion then the lion visits the bald eagle. If something is rough and it visits the lion then the lion eats the cow. If something eats the bald eagle and the bald eagle is round then the bald eagle visits the lion. If something sees the bald eagle then the bald eagle is kind. If something visits the cat then the cat visits the bald eagle.
The cow does not eat the lion.
@0: The bald eagle sees the lion.[(triple1)] The cat sees the bald eagle.[(triple2)] The cow sees the bald eagle.[(triple3)] The lion is round.[(triple4)] @1: The bald eagle is kind.[(((triple2) -> rule7) OR ((triple3) -> rule7))] @2: The bald eagle visits the cat.[(((((triple2) -> rule7)) -> rule1) OR ((((triple3) -> rule7)) -> rule1))] @3: The cat eats the cow.[(((((((triple2) -> rule7)) -> rule1)) -> rule2) OR ((((((triple3) -> rule7)) -> rule1)) -> rule2))] The cat visits the bald eagle.[(((((((triple2) -> rule7)) -> rule1)) -> rule8) OR ((((((triple3) -> rule7)) -> rule1)) -> rule8))]