first import
Added author info
Removed code for adding edges for negative conclusions

Checked indentation
minor debug fixes
moved doctest to .py file