The bald eagle chases the lion. The bald eagle does not eat the lion. The bald eagle does not eat the mouse. The bald eagle is big. The lion eats the mouse. The mouse eats the bald eagle. The mouse is blue. If the bald eagle is big then the bald eagle is nice. If someone is nice then they visit the mouse. If the mouse chases the bald eagle then the bald eagle eats the lion. If someone chases the bald eagle and they chase the lion then they eat the lion. If someone visits the mouse then they do not eat the lion. If someone eats the bald eagle and they are not big then they are rough. If someone visits the mouse then they visit the lion. If the mouse eats the bald eagle and the bald eagle does not visit the mouse then the mouse visits the lion.
The lion chases the lion.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle does not eat the lion.[(triple2 OR ((((((triple4) -> rule1)) -> rule2)) -> rule5))] The bald eagle does not eat the mouse.[(triple3)] The bald eagle is big.[(triple4)] The lion eats the mouse.[(triple5)] The mouse eats the bald eagle.[(triple6)] The mouse is blue.[(triple7)] @1: The bald eagle is nice.[(((triple4) -> rule1))] @2: The bald eagle visits the mouse.[(((((triple4) -> rule1)) -> rule2))] @3: The bald eagle visits the lion.[(((((((triple4) -> rule1)) -> rule2)) -> rule7))]