The bald eagle eats the mouse. The bald eagle is big. The bald eagle is kind. The bald eagle is nice. The bald eagle is not round. The bald eagle is young. The bald eagle needs the mouse. The bald eagle visits the mouse. The mouse eats the bald eagle. The mouse is nice. The mouse needs the bald eagle. The mouse visits the bald eagle. If something is round and it eats the bald eagle then the bald eagle is not round. If something eats the bald eagle and the bald eagle needs the mouse then the mouse is not big. If something eats the mouse then the mouse eats the bald eagle. If something is kind and it needs the mouse then the mouse eats the bald eagle. If the bald eagle eats the mouse then the bald eagle is young. If something is big then it needs the bald eagle.
The mouse does not need the mouse.
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle is not round.[(triple5)] The bald eagle is young.[(triple6 OR ((triple1) -> rule5))] The bald eagle needs the mouse.[(triple7)] The bald eagle visits the mouse.[(triple8)] The mouse eats the bald eagle.[(triple9 OR ((triple1) -> rule3) OR ((triple3 triple7) -> rule4))] The mouse is nice.[(triple10)] The mouse needs the bald eagle.[(triple11)] The mouse visits the bald eagle.[(triple12)] @1: The bald eagle needs the bald eagle.[(((triple2) -> rule6))] The mouse is not big.[(((triple9 triple7) -> rule2) OR ((((triple1) -> rule3) triple7) -> rule2) OR ((((triple3 triple7) -> rule4) triple7) -> rule2))]