Add logs from 03-19-14
Merge pull request #16 from cosmoharrigan/03-19-14

Add logs from 03-19-14
Add additional test logs with working output
Change implication to use a biconditional in the consequent. Remove unused definitions. Remove non-friendships that trigger incorrect modusPonensFormula.
Merge pull request #17 from cosmoharrigan/03-19-14

Add additional test showing reasonable output
Update and rename README to README.md
Update README.md
Update README.md