The bald eagle eats the dog. The bald eagle eats the mouse. The bald eagle is round. The bald eagle needs the dog. The bald eagle visits the dog. The bald eagle visits the mouse. The dog eats the mouse. The mouse is round. The mouse visits the bald eagle. The mouse visits the dog. If the mouse visits the bald eagle then the bald eagle is kind. If someone is round and they visit the bald eagle then the bald eagle needs the dog.
The mouse visits the mouse.
@0: The bald eagle eats the dog.[(triple1)] The bald eagle eats the mouse.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle needs the dog.[(triple4 OR ((triple8 triple9) -> rule2))] The bald eagle visits the dog.[(triple5)] The bald eagle visits the mouse.[(triple6)] The dog eats the mouse.[(triple7)] The mouse is round.[(triple8)] The mouse visits the bald eagle.[(triple9)] The mouse visits the dog.[(triple10)] @1: The bald eagle is kind.[(((triple9) -> rule1))]