The bald eagle does not eat the mouse. The bald eagle is kind. The bald eagle is red. The bald eagle is round. The bald eagle likes 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 something is big and kind then it likes the mouse. If something is red and it likes the mouse then it does not like the bald eagle. If something eats the bald eagle and the bald eagle is big then it does not visit the bald eagle. If something is big then it visits the bald eagle. If something is kind and it does not like the bald eagle then it visits the mouse. If something eats the bald eagle and the bald eagle visits the mouse then it is rough. If something visits the bald eagle and it eats the mouse then the mouse is not rough. If something eats the mouse and it is rough then the mouse is rough.
The mouse is not big.
@0: The bald eagle does not eat the mouse.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle likes the mouse.[(triple5)] The mouse eats the bald eagle.[(triple6)] The mouse is big.[(triple7)] The mouse is round.[(triple8)] The mouse likes the bald eagle.[(triple9)] The mouse visits the bald eagle.[(triple10 OR ((triple7) -> rule4))] @1: The bald eagle does not like the bald eagle.[(((triple3 triple5) -> rule2))] @2: The bald eagle visits the mouse.[(((triple2 ((triple3 triple5) -> rule2)) -> rule5))] @3: The mouse is rough.[(((triple6 ((triple2 ((triple3 triple5) -> rule2)) -> rule5)) -> rule6))]