The bald eagle eats the mouse. The bald eagle is red. The bald eagle is not round. The bald eagle is young. The bald eagle sees the mouse. The mouse does not eat the bald eagle. The mouse visits the bald eagle. If someone sees the mouse then they visit the bald eagle. If the bald eagle eats the mouse then the mouse visits the bald eagle. If the bald eagle is not green then the bald eagle visits the mouse.
The bald eagle does not eat the mouse.
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle is not round.[(triple3)] The bald eagle is red.[(triple2)] The bald eagle is young.[(triple4)] The bald eagle sees the mouse.[(triple5)] The mouse does not eat the bald eagle.[(triple6)] The mouse visits the bald eagle.[(triple7 OR ((triple1) -> rule2))] @1: The bald eagle visits the bald eagle.[(((triple5) -> rule1))]