The bald eagle eats the mouse. The dog likes the mouse. The mouse eats the bald eagle. The mouse is round. The mouse is young. The mouse likes the dog. The mouse visits the bald eagle. If someone visits the mouse then the mouse eats the dog. Round people are young. If someone visits the bald eagle then they are kind.
The mouse is kind.
@0: The bald eagle eats the mouse.[(triple1)] The dog likes the mouse.[(triple2)] The mouse eats the bald eagle.[(triple3)] The mouse is round.[(triple4)] The mouse is young.[(triple5 OR ((triple4) -> rule2))] The mouse likes the dog.[(triple6)] The mouse visits the bald eagle.[(triple7)] @1: The mouse is kind.[(((triple7) -> rule3))]