The bald eagle eats the dog. The bald eagle eats the mouse. The bald eagle is green. The bald eagle is nice. The bald eagle likes the mouse. The bald eagle needs the dog. The dog eats the bald eagle. The dog is kind. The dog likes the bald eagle. The dog needs the bald eagle. The dog needs the mouse. The mouse eats the bald eagle. The mouse is nice. The mouse likes the dog. The mouse needs the dog. If something is kind and it needs the dog then it needs the mouse. If something needs the mouse and it needs the bald eagle then the bald eagle is big.
The bald eagle needs the mouse.
@0: The bald eagle eats the dog.[(triple1)] The bald eagle eats the mouse.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle likes the mouse.[(triple5)] The bald eagle needs the dog.[(triple6)] The dog eats the bald eagle.[(triple7)] The dog is kind.[(triple8)] The dog likes the bald eagle.[(triple9)] The dog needs the bald eagle.[(triple10)] The dog needs the mouse.[(triple11)] The mouse eats the bald eagle.[(triple12)] The mouse is nice.[(triple13)] The mouse likes the dog.[(triple14)] The mouse needs the dog.[(triple15)] @1: The bald eagle is big.[(((triple11 triple10) -> rule2))]