The bald eagle eats the rabbit. The bald eagle is rough. The bald eagle is young. The bald eagle likes the mouse. The bald eagle does not need the rabbit. The dog is rough. The dog needs the mouse. The mouse does not eat the dog. The mouse is not big. The mouse is cold. The mouse likes the dog. The mouse needs the dog. The rabbit eats the mouse. The rabbit needs the bald eagle. The rabbit needs the mouse. If the bald eagle eats the rabbit and the bald eagle likes the mouse then the mouse does not like the bald eagle. If something needs the mouse and the mouse is round then the mouse does not like the bald eagle. If the dog does not like the mouse then the dog is young.
The rabbit needs the mouse.
@0: The bald eagle does not need the rabbit.[(triple5)] The bald eagle eats the rabbit.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle likes the mouse.[(triple4)] The dog is rough.[(triple6)] The dog needs the mouse.[(triple7)] The mouse does not eat the dog.[(triple8)] The mouse is cold.[(triple10)] The mouse is not big.[(triple9)] The mouse likes the dog.[(triple11)] The mouse needs the dog.[(triple12)] The rabbit eats the mouse.[(triple13)] The rabbit needs the bald eagle.[(triple14)] The rabbit needs the mouse.[(triple15)] @1: The mouse does not like the bald eagle.[(((triple1 triple4) -> rule1))]