The bald eagle is blue. The bald eagle is round. The bald eagle needs the dog. The bald eagle needs the mouse. The bald eagle sees the dog. The bald eagle sees the mouse. The dog does not like the bald eagle. The dog does not see the mouse. The mouse is kind. The mouse likes the bald eagle. The mouse likes the dog. The mouse sees the dog. If something likes the mouse and it does not need the bald eagle then the bald eagle sees the dog. If the mouse is not round then the mouse sees the bald eagle. If something is round and not green then it does not like the mouse. If something sees the mouse and the mouse does not see the bald eagle then the bald eagle sees the mouse. If something sees the bald eagle and it does not see the mouse then the bald eagle likes the dog. If something is round and kind then it needs the dog. If something is kind then it needs the dog. If something is round and it does not see the mouse then the mouse is kind.
The bald eagle needs the mouse.
@0: The bald eagle is blue.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle needs the dog.[(triple3)] The bald eagle needs the mouse.[(triple4)] The bald eagle sees the dog.[(triple5)] The bald eagle sees the mouse.[(triple6)] The dog does not like the bald eagle.[(triple7)] The dog does not see the mouse.[(triple8)] The mouse is kind.[(triple9)] The mouse likes the bald eagle.[(triple10)] The mouse likes the dog.[(triple11)] The mouse sees the dog.[(triple12)] @1: The mouse needs the dog.[(((triple9) -> rule7))]