The bald eagle does not eat the mouse. The bald eagle does not eat the rabbit. The bald eagle is blue. The bald eagle is round. The bald eagle is not young. The bald eagle needs the mouse. The bald eagle needs the rabbit. The bald eagle visits the rabbit. The mouse is blue. The mouse is not rough. The mouse visits the rabbit. The rabbit eats the mouse. The rabbit is blue. The rabbit is round. The rabbit needs the mouse. The rabbit visits the mouse. If something visits the bald eagle then it does not need the bald eagle. If something needs the mouse and the mouse visits the bald eagle then it eats the mouse. If something needs the rabbit then it is not red. If something eats the bald eagle and the bald eagle is not rough then it is red. If something is young then it needs the mouse. If something needs the bald eagle and the bald eagle eats the mouse then the mouse needs the rabbit.
The mouse visits the mouse.
@0: The bald eagle does not eat the mouse.[(triple1)] The bald eagle does not eat the rabbit.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is not young.[(triple5)] The bald eagle is round.[(triple4)] The bald eagle needs the mouse.[(triple6)] The bald eagle needs the rabbit.[(triple7)] The bald eagle visits the rabbit.[(triple8)] The mouse is blue.[(triple9)] The mouse is not rough.[(triple10)] The mouse visits the rabbit.[(triple11)] The rabbit eats the mouse.[(triple12)] The rabbit is blue.[(triple13)] The rabbit is round.[(triple14)] The rabbit needs the mouse.[(triple15)] The rabbit visits the mouse.[(triple16)] @1: The bald eagle is not red.[(((triple7) -> rule3))]