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