The bald eagle eats the mouse. The bald eagle is big. The bald eagle is blue. The bald eagle is nice. The bald eagle is young. The bald eagle likes the mouse. The bald eagle visits the mouse. The mouse eats the bald eagle. The mouse is big. The mouse is round. The mouse likes the bald eagle. The mouse visits the bald eagle. If someone likes the mouse and they eat the mouse then the mouse visits the bald eagle. If the bald eagle eats the mouse and the bald eagle is nice then the bald eagle likes the mouse. If someone eats the bald eagle and the bald eagle is nice then they are blue. If someone visits the mouse and they are round then the mouse likes the bald eagle. If someone visits the mouse then the mouse is big. If someone is nice and they like the mouse then they are big.
The mouse likes the bald eagle.
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle is big.[(triple2 OR ((triple4 triple6) -> rule6) OR ((triple4 ((triple1 triple4) -> rule2)) -> rule6))] The bald eagle is blue.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle is young.[(triple5)] The bald eagle likes the mouse.[(triple6 OR ((triple1 triple4) -> rule2))] The bald eagle visits the mouse.[(triple7)] The mouse eats the bald eagle.[(triple8)] The mouse is big.[(triple9 OR ((triple7) -> rule5))] The mouse is round.[(triple10)] The mouse likes the bald eagle.[(triple11)] The mouse visits the bald eagle.[(triple12 OR ((triple6 triple1) -> rule1) OR ((((triple1 triple4) -> rule2) triple1) -> rule1))] @1: The mouse is blue.[(((triple8 triple4) -> rule3))]