The bald eagle likes the dog. The bald eagle likes the mouse. The bald eagle likes the squirrel. The bald eagle needs the mouse. The bald eagle needs the squirrel. The dog visits the mouse. The mouse is round. The mouse likes the bald eagle. The mouse needs the squirrel. The squirrel is green. The squirrel is round. The squirrel likes the dog. If the mouse likes the bald eagle and the mouse visits the dog then the dog needs the squirrel. If someone likes the mouse and they are round then they are kind. If someone needs the dog and the dog needs the squirrel then the squirrel visits the dog. If the bald eagle is cold and the bald eagle likes the mouse then the mouse needs the squirrel. If someone likes the squirrel then they need the bald eagle. If someone likes the squirrel and the squirrel likes the dog then the squirrel visits the mouse.
The mouse does not need the bald eagle.
@0: The bald eagle likes the dog.[(triple1)] The bald eagle likes the mouse.[(triple2)] The bald eagle likes the squirrel.[(triple3)] The bald eagle needs the mouse.[(triple4)] The bald eagle needs the squirrel.[(triple5)] The dog visits the mouse.[(triple6)] The mouse is round.[(triple7)] The mouse likes the bald eagle.[(triple8)] The mouse needs the squirrel.[(triple9)] The squirrel is green.[(triple10)] The squirrel is round.[(triple11)] The squirrel likes the dog.[(triple12)] @1: The bald eagle needs the bald eagle.[(((triple3) -> rule5))] The squirrel visits the mouse.[(((triple3 triple12) -> rule6))]